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

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

• 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
• 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?)
• 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 entailment. III
• The Semantics of First Degree Entailment
• The undecidability of entailment and relevant implication

Cited in

(7)

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

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)