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
View all bargains

Buy this book

Links

PhilArchive



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

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 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.
A Modal Supervaluation Description Logic For Characterization Of Vague Concepts: Its Semantics And A Tableau Algorithm For It.Lei Liu & Lin Chen - 2006 - Logic Journal of the IGPL 14 (6):873-888.
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.
Tableau systems for first order number theory and certain higher order theories.Sue Ann Toledo - 1975 - New York: Springer Verlag.
A secondary semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.P. Miglioli, U. Moscato & M. Ornaghi - 1997 - Logic Journal of the IGPL 5 (1):145-167.
Critical and Pre-Critical Phases in Kant’s Philosophy of Logic.Charles Nussbaum - 1992 - Kant Studien 83 (3):280-293.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Simultaneous rigid sorted unification for tableaux.P. J. Martín & A. Gavilanes - 2002 - Studia Logica 72 (1):31-59.
Comparative Study Concerning Chinese Logic and West Logic.Wu-jin Yang - 2010 - Philosophy and Culture 37 (8):5-21.
Logic.Paul Tomassi - 1999 - London and New York: Routledge.
The logic of partitions: Introduction to the dual of the logic of subsets: The logic of partitions.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.
Capturing Consequence.Alexander Paseau - 2019 - Review of Symbolic Logic 12 (2):271-295.
Formal Methods in the Philosophy of Science.Leon Horsten & Igor Douven - 2008 - Studia Logica 89 (2):151-162.
Peirce’s Propositional Logic.Randall R. Dipert - 1981 - Review of Metaphysics 34 (3):569 - 595.

Analytics

Added to PP
2022-12-01

Downloads
9 (#1,236,107)

6 months
8 (#347,703)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references