Tableau methods for propositional logic and term logic

Berlin: Peter Lang. Edited by Sławomir Jaskóloski & Jan Hartman (2020)
  Copy   BIBTEX

Abstract

The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.

Categories

Keywords

Reprint years

2021

Call number

B4714.S48.J376 2020

ISBN(s)

9783631833728   3631846533

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets.Tomasz Jarmużek - 2007 - Logic and Logical Philosophy 16 (1):85-101.
A general tableau method for propositional interval temporal logics: Theory and implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
Tableaux for Logics of Content Relationship and Set-Assignment Semantics.Tomasz Jarmużek & Mateusz Klonowski - 2022 - Logica Universalis 16 (1-3):195-219.
Simultaneous rigid sorted unification for tableaux.P. J. Martín & A. Gavilanes - 2002 - Studia Logica 72 (1):31-59.
The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2009 - Journal of Applied Non-Classical Logics 19 (2):149-166.
Tableau methods of proof for modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (2):237-247.
Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations.Marianna Nicolosi-Asmundo & Domenico Cantone - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag. pp. 169-202.
The Tableau Method for a Logical System Based on a Finite Poset.Abir Nour - 2002 - Journal of Applied Non-Classical Logics 12 (1):43-62.
Reasoning on Relations, Modalities, and Sets.Alberto Policriti, Eugenio Omodeo & Andrea Formisano - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag. pp. 129-168.

Analytics

Added to PP
2022-12-01

Downloads
15 (#1,238,350)

6 months
6 (#873,397)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tomasz Jarmużek
Nicolaus Copernicus University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references