Algebraic study of two deductive systems of relevance logic

DOI10.1305/ndjfl/1040511344zbMath0833.03007OpenAlexW2090474572MaRDI QIDQ1893139

Gonzalo Rodríguez, Josep Maria Font

Publication date: 17 March 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040511344

zbMATH Keywords

consequence operationrelevant logicabstract logicalgebras with closure operators

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)

Related Items

On the deductive system of the order of an equationally orderable quasivariety, Selfextensional logics with a conjunction, Fregean logics, The strong version of a sentential logic, Consequence and Degrees of Truth in Many-Valued Logic, Algebraizable logics with a strong conjunction and their semi-lattice based companions, Abstract algebraic logic. An introductory chapter, On the closure properties of the class of full G-models of a deductive system, Leibniz-linked pairs of deductive systems, Beyond Rasiowa's algebraic approach to non-classical logics, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, Taking degrees of truth seriously

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• A deduction theorem schema for deductive systems of propositional logics
• Algebraic logic for classical conjunction and disjunction
• Modal translations in substructural logics
• Real reduced models for relevant logics without WI
• Note on algebraic models for relevance logic
• Algebraizable logics
• A first approach to abstract modal logics
• The independence of connectives
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item