# Search results

Bulletin of the Section of Logic > 2022 > 51 > 1 > 27-56

Bulletin of the Section of Logic > 2021 > 50 > 4 > 421-453

Logic and Logical Philosophy > 2016 > 25 > 2 > 173-201

Logic and Logical Philosophy > 2016 > 25 > 2 > 173–201

*Models for Entailment*. To invalidate the law of distribution of conjunction over disjunction, we use different types of states to model conjunction and disjunction, respectively. The implication → is interpreted by three operations ⊕ , ⊗ , ⊝, instead of one operation...

Reports on Mathematical Logic > 2016 > Vol. 51 > 105--131

Logic and Logical Philosophy > 2013 > 22 > 4 > 411–427

Journal of Philosophical Logic > 2012 > 41 > 3 > 595-612

Logic and Logical Philosophy > 2011 > 20 > 3 > 241-249

2010 International Conference on Machine Learning and Cybernetics > 5 > 2641 - 2646

Journal of Philosophical Logic > 2010 > 39 > 2 > 139-158

*γ*) and Ackermann’s logics of ‘strenge Implikation’ Π and Π

^{′}are among the logics considered.

Electronic Notes in Theoretical Computer Science > 2007 > 169 > Complete > 87-97

Electronic Notes in Theoretical Computer Science > 2007 > 169 > Complete > 61-71

_{1}, S

_{2}...

2006 IEEE International Conference on Systems, Man and Cybernetics > 2 > 1036 - 1041

Studia Logica > 2004 > 76 > 1 > 17-66

**B**with axioms that correspond closely to the reduction rules of proper combinators in combinatory logic. In the Routley-Meyer relational semantics for relevant logic each such combinator logic is characterized by the class of frames that meet a first-order condition that also directly...

Studia Logica > 2000 > 66 > 2 > 227-252