Artykuły

Ilość
Sortuj według

Automating and Computing Paraconsistent Reasoning: Contraction-Free, Resolution and Type Systems

Reports on Mathematical Logic, Number 45, s. 3-21
Data publikacji online: 20 września 2010

On the Lattice of p-Consequences

Reports on Mathematical Logic, Number 45, s. 23-35
Data publikacji online: 20 września 2010

A 2-Categorical Framework for the Syntax and Semantics of Many-Sorted Equational Logic

Reports on Mathematical Logic, Number 45, s. 37-95
Data publikacji online: 20 września 2010

Minimal Non-Relevant Logics without the K Axiom II. Negation Introduced as a Primitive Unary Connective

Reports on Mathematical Logic, Number 45, s. 97-118
Data publikacji online: 20 września 2010

Definability in Infinitary Languages and Invariance by Automorphisms

Reports on Mathematical Logic, Number 45, s. 119-133
Data publikacji online: 20 września 2010

Complementary Pair of Quasi-antiorders

Reports on Mathematical Logic, Number 45, s. 135-142
Data publikacji online: 20 września 2010

Some Locally Tabular Logics with Contraction and Mingle

Reports on Mathematical Logic, Number 45, s. 143-159
Data publikacji online: 20 września 2010

On some Properties of Quasi MV Algebras and√ quasi-MV Algebras. Part III.

Reports on Mathematical Logic, Number 45, s. 161-199
Data publikacji online: 20 września 2010

On Frontal Heyting Algebras

Reports on Mathematical Logic, Number 45, s. 201-224
Data publikacji online: 20 września 2010

On the Variety of Heyting Algebras with Successor Generated by All Finite Chains

Reports on Mathematical Logic, Number 45, s. 225-259
Data publikacji online: 20 września 2010