Equational Reasoning in Non-Classical Logics

&
Journal of Applied Non-Classical Logics 8 (1-2):27-66 (1998)
  Copy   BIBTEX

Abstract

ABSTRACT In this paper it is shown that a broad class of propositional logics can be interpreted in an equational logic based on fork algebras. This interpetability enables us to develop a fork-algebraic formalization of these logics and, as a consequence, to simulate non-classical means of reasoning with equational theories algebras

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1998.10510932

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A proof system for fork algebras and its applications to reasoning in logics based on intuitionism.M. Frias & E. Orlowska - 1995 - Logique Et Analyse 150:151-152.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
A Hilbert-Style Axiomatisation for Equational Hybrid Logic.Luís S. Barbosa, Manuel A. Martins & Marta Carreteiro - 2014 - Journal of Logic, Language and Information 23 (1):31-52.
Protoalgebraic logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Products of modal logics. Part 3: Products of modal and temporal logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
On the equational theory of representable polyadic equality algebras.István Németi & Gábor Sági - 2000 - Journal of Symbolic Logic 65 (3):1143-1167.
Algebraic logic for classical conjunction and disjunction.J. M. Font & V. Verdú - 1993 - Studia Logica 52 (1):181.
Review: A. Tarski, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Equational Logic and Equational Theories of Algebras. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Algebraic logic for classical conjunction and disjunction.Josep M. Font & Ventura Verdú - 1991 - Studia Logica 50 (3-4):391 - 419.

Analytics

Added to PP
2013-11-24

Downloads
38 (#419,571)

6 months
11 (#237,876)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ewa Orlowska
Institute of Telecommunications and Information Technology

Citations of this work

No citations found.

Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
On the calculus of relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.
Finitary Algebraic Logic.Roger D. Maddux - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):321-332.
Finitary Algebraic Logic.Roger D. Maddux - 1989 - Mathematical Logic Quarterly 35 (4):321-332.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.

View all 6 references / Add more references