A Relational Formalisation Of Arbitrary Finite Valued Logics

, &
Logic Journal of the IGPL 6 (5):755-774 (1998)
  Copy   BIBTEX

Abstract

A method of developing a relational semantics and relational proof systems for many-valued logics based on finite algebras of truth values is presented. The method is applied to Rosser-Turquette logic, logics based on symmetric Heyting algebras with operators and a Post-style logic

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/6.5.755

Links

PhilArchive



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

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

Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics.Arnon Avron, Jonathan Ben-Naim & Beata Konikowska - 2007 - Logica Universalis 1 (1):41-70.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Many-valued reflexive autoepistemic logic.C. Koutras & S. Zachos - 2000 - Logic Journal of the IGPL 8 (1):33-54.
Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
An Axiomatisation of the Conditionals of Post's Many Valued Logics.Stan J. Surma - 1995 - Mathematical Logic Quarterly 41 (3):369-372.
Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - Journal of Applied Non-Classical Logics 3 (2):147-171.
Many-valued modal logics.Melvin C. Fitting - unknown

Analytics

Added to PP
2015-02-04

Downloads
8 (#1,318,910)

6 months
2 (#1,200,611)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ewa Orlowska
Institute of Telecommunications and Information Technology
Charles Morgan
University of Pennsylvania

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references