Larisa Maksimova’s Early Contributions to Relevance Logic

DOI10.1007/978-3-319-69917-2_3zbMATH Open1429.03001OpenAlexW2794051391MaRDI QIDQ5214731FDOQ5214731

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

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

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)

Cites Work

• Dual gaggle semantics for entailment
• The semantics of entailment. III
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• The undecidability of entailment and relevant implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the decidability of implicational ticket entailment
• Title not available (Why is that?)
• The Semantics of First Degree Entailment
• Representation of Distributive Lattices by means of ordered Stone Spaces
• New consecution calculi for \(R^{t}_{\to}\)
• Philosophy of logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematics across the Iron Curtain. A history of the algebraic theory of semigroups.
• Completeness of relevant quantification theories
• Duality for algebras of relevant logics
• Intensional models for first degree formulas
• Title not available (Why is that?)
• EQ and the First Order Functional Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof theory. Sequent calculi and related formalisms
• Title not available (Why is that?)
• Functorial duality for ortholattices and De Morgan lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• The first axiomatization of relevant logic
• 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)