Larisa Maksimova’s Early Contributions to Relevance Logic

DOI10.1007/978-3-319-69917-2_3zbMath1429.03001OpenAlexW2794051391MaRDI QIDQ5214731

J. Michael Dunn, Katalin Bimbó

Publication date: 5 February 2020

Published in: Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69917-2_3

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Relevance-Sensitive Truth-Trees ⋮ Revisiting Semilattice Semantics

Cites Work

• New consecution calculi for \(R^{t}_{\to}\)
• Completeness of relevant quantification theories
• Philosophy of logic
• Dual gaggle semantics for entailment
• The semantics of entailment. III
• Duality for algebras of relevant logics
• Functorial duality for ortholattices and De Morgan lattices
• EQ and the First Order Functional Calculus
• The undecidability of entailment and relevant implication
• On the decidability of implicational ticket entailment
• The Semantics of First Degree Entailment
• Proof Theory
• Intensional models for first degree formulas
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Larisa Maksimova’s Early Contributions to Relevance Logic