Larisa Maksimova’s Early Contributions to Relevance Logic

DOI10.1007/978-3-319-69917-2_3MaRDI QIDQ5214731zbMATH OpenOpenAlexFDO

Authors Katalin Bimbó, J. Michael Dunn

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) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) History of mathematical logic and foundations (03-03)

Recommendations

• Maksimova, relevance and the study of lattices of non-classical logics
• Larisa Maksimova on implication, interpolation, and definability
• The first axiomatization of relevant logic
• A Note on the Relevance of Semilattice Relevance Logic
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• scientific article; zbMATH DE number 575580
• Some relevance logics from the point of view of relational semantics
• Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn
• Victor Ivanovich Shestakov and logic modelling
• scientific article; zbMATH DE number 966887

Cites work

• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3550681 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1984508 (Why is no real title available?)
• scientific article; zbMATH DE number 1406808 (Why is no real title available?)
• scientific article; zbMATH DE number 3239507 (Why is no real title available?)
• scientific article; zbMATH DE number 3259034 (Why is no real title available?)
• scientific article; zbMATH DE number 3273133 (Why is no real title available?)
• scientific article; zbMATH DE number 3284296 (Why is no real title available?)
• scientific article; zbMATH DE number 3296222 (Why is no real title available?)
• scientific article; zbMATH DE number 3344558 (Why is no real title available?)
• scientific article; zbMATH DE number 3353242 (Why is no real title available?)
• scientific article; zbMATH DE number 3382313 (Why is no real title available?)
• scientific article; zbMATH DE number 3193725 (Why is no real title available?)
• Completeness of relevant quantification theories
• Dual gaggle semantics for entailment
• Duality for algebras of relevant logics
• EQ and the First Order Functional Calculus
• Functorial duality for ortholattices and De Morgan lattices
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Intensional models for first degree formulas
• Mathematics across the Iron Curtain. A history of the algebraic theory of semigroups.
• New consecution calculi for \(R^{t}_{\to}\)
• On the decidability of implicational ticket entailment
• Philosophy of logic
• Proof theory. Sequent calculi and related formalisms
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Semantics of First Degree Entailment
• The semantics of entailment. III
• The undecidability of entailment and relevant implication

Cited in

(6)

• The first axiomatization of relevant logic
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Larisa Maksimova on implication, interpolation, and definability
• Relevance-Sensitive Truth-Trees
• Revisiting Semilattice Semantics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214731)