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