Larisa Maksimova’s Early Contributions to Relevance Logic
From MaRDI portal
Publication:5214731
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)