The following pages link to Katalin Bimbó (Q266640):
Displaying 39 items.
- Current trends in substructural logics (Q266641) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Types of I-free hereditary right maximal terms (Q812102) (← links)
- Admissibility of cut in LC with fixed point combinator (Q817697) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- Dual gaggle semantics for entailment (Q1038602) (← links)
- Four-valued logic (Q1422105) (← links)
- Investigation into combinatory systems with dual combinators (Q1595916) (← links)
- On the decidability of certain semi-lattice based modal logics (Q1694448) (← links)
- Inhabitants of intuitionistic implicational theorems (Q1799268) (← links)
- Semantics for dual and symmetric combinatory calculi (Q1826434) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs (Q2454875) (← links)
- Functorial duality for ortholattices and De Morgan lattices (Q2470761) (← links)
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- Semantics for structurally free logics LC+ (Q2743637) (← links)
- (Q3019505) (← links)
- Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics (Q3121045) (← links)
- Introduction: From Information at Large to Semantics of Logics (Q3305417) (← links)
- Default Rules in the Logic of First-Degree Entailments (Q3305612) (← links)
- (Q3413071) (← links)
- (Q3599059) (← links)
- Two extensions of the structurally free logic LC (Q4392658) (← links)
- The Church-Rosser property in dual combinatory logic (Q4457728) (← links)
- Some relevance logics from the point of view of relational semantics (Q4644541) (← links)
- On the decidability of implicational ticket entailment (Q4916555) (← links)
- Interpretations of Weak Positive Modal Logics (Q5020162) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (Q5037525) (← links)
- (Q5099997) (← links)
- Larisa Maksimova’s Early Contributions to Relevance Logic (Q5214731) (← links)
- RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794) (← links)
- Proof Theory (Q5418473) (← links)
- The Church-Rosser property in symmetric combinatory logic (Q5718674) (← links)
- Topological duality for orthomodular lattices (Q6096727) (← links)
- Concepts at the heart of mathematics -- through the centuries. Book review of: J. Stillwell, The story of proof. Logic and the history of mathematics (Q6610651) (← links)
- On the origins of gaggle theory (Q6641529) (← links)
