Definability and quantifier elimination for j3-theories

Studia Logica 46 (1):37 - 54 (1987)
  Copy   BIBTEX

Abstract

The Joint Non-Trivialization Theorem, two Definability Theorems and the generalized Quantifier Elimination Theorem are proved for J 3-theories. These theories are three-valued with more than one distinguished truth-value, reflect certain aspects of model type logics and can. be paraconsistent. J 3-theories were introduced in the author's doctoral dissertation.

Categories

Keywords

Reprint years

DOI

10.1007/bf00396904

Other Versions

No versions found

Links

PhilArchive



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

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

Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
A note on three-valued logic and Tarski theorem on truth definitions.Andrea Cantini - 1980 - Studia Logica 39 (4):405 - 414.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.
Consequences of neocompact quantifier elimination.Stefano Baratella & Siu-Ah Ng - 2003 - Mathematical Logic Quarterly 49 (2):150-162.
Completeness and cut-elimination theorems for trilattice logics.Norihiro Kamide & Heinrich Wansing - 2011 - Annals of Pure and Applied Logic 162 (10):816-835.
Non-effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
Modal extension of ideal paraconsistent four-valued logic and its subsystem.Norihiro Kamide & Yoni Zohar - 2020 - Annals of Pure and Applied Logic 171 (10):102830.
Provability logics for natural Turing progressions of arithmetical theories.L. D. Beklemishev - 1991 - Studia Logica 50 (1):107 - 128.
Quantifier Elimination for a Class of Intuitionistic Theories.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2008 - Notre Dame Journal of Formal Logic 49 (3):281-293.
Paraconsistent logic and model theory.Elias H. Alves - 1984 - Studia Logica 43 (1-2):17 - 32.

Analytics

Added to PP
2009-01-28

Downloads
53 (#410,459)

6 months
10 (#413,587)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.

Add more citations

References found in this work

Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
Many-valued logic.Nicholas Rescher - 1969 - New York,: McGraw-Hill.
Many-valued logics.J. Barkley Rosser - 1977 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.

Add more references