A continuum of incomplete intermediate logics

08/20/2018
by   Tadeusz Litak, et al.
0

This paper generalizes the 1977 paper of V.B. Shehtman, which constructed the first Kripke incomplete intermediate logic, by presenting a continuum of such logics. This version fixes an error in my simplified proof of incompleteness of Shehtman's original logic.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

03/07/2000

A flexible framework for defeasible logics

Logics for knowledge representation suffer from over-specialization: whi...
09/12/2009

Logic with Verbs

The aim of this paper is to introduce a logic in which nouns and verbs a...
08/09/2019

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms

It is known that the satisfiability problems of the product logics K4xS5...
05/05/2014

Reasoning with Probabilistic Logics

The interest in the combination of probability with logics for modeling ...
02/20/2002

Nonmonotonic inference operations

A. Tarski proposed the study of infinitary consequence operations as the...
05/18/2018

A syllogistic system for propositions with intermediate quantifiers

This paper describes a formalism that subsumes Peterson's intermediate q...
02/26/2015

Entropy and Syntropy in the Context of Five-Valued Logics

This paper presents a five-valued representation of bifuzzy sets. This r...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

References

  • [Bu82] R.A. Bull. Review. Journal of Symbolic Logic, 47:440-445, 1982
  • [Bu83] R.A. Bull. Review. Journal of Symbolic Logic, 48:488-495, 1983
  • [ChZ97] A.V. Chagrov and M.V. Zakharyaschev. Modal Logic. Clarendon Press, Oxford 1997.
  • [Fi74a] K. Fine. An Ascending Chain of Logics.Theoria, 40:110-116, 1974.
  • [Fi74b] K. Fine. An Incomplete Logic Containing .Theoria, 40:23-29, 1974.
  • [GdJ74] D.M. Gabbay and D.H.J. de Jongh. A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. Journal of Symbolic Logic, 39:67-78, 1974.
  • [Ja68] V.A. Jankov. Constructing a Sequence of Strongly Independent Superintuitionistic Propositional Calculi. Soviet Mathematics Doklady, 9:806-807, 1968.
  • [Li02] T. Litak. Modal incompleteness revisited. To appear in Studia Logica, 2003.
  • [On72] H. Ono. A Study of Intermediate Predicate Logics. Publ. RIMS, Kyoto University, 8:619-649, 1972/73.
  • [Ry77] V.V. Rybakov. Noncompact Extensions of the Logic . Algebra and logic, 16:321-334, 1977.
  • [Sh77] V.B. Shehtman. On Incomplete Propositional Logics. Soviet Mathematics Doklady, 18:985-989, 1977.
  • [Sh80] V.B. Shehtman. Topological models of propositional logics. Semiotics and Information Science, 15:74–98, 1980. (Russian)