AI Chat AI Image Generator AI Video Text to Speech

A continuum of incomplete intermediate logics

08/20/2018

∙

by Tadeusz Litak, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 04/14/2022

Normalisation for Some Infectious Logics and Their Relatives

We consider certain infectious logics (Sfde, dSfde, K3w, and PWK) and se...

0 Yaroslav Petrukhin, et al. ∙

research

∙ 03/07/2000

A flexible framework for defeasible logics

Logics for knowledge representation suffer from over-specialization: whi...

0 G. Antoniou, et al. ∙

research

∙ 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...

0 Peter Hertling, et al. ∙

research

∙ 06/21/2021

Defeasible Reasoning via Datalog^

We address the problem of compiling defeasible theories to Datalog^ prog...

0 Michael J. Maher, et al. ∙

research

∙ 02/20/2002

Nonmonotonic inference operations

A. Tarski proposed the study of infinitary consequence operations as the...

0 Michael Freund, et al. ∙

research

∙ 04/13/2022

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications

Non-Classical Logics. Theory and Applications (NCL) is an international ...

0 Andrzej Indrzejczak, et al. ∙

research

∙ 05/18/2018

A syllogistic system for propositions with intermediate quantifiers

This paper describes a formalism that subsumes Peterson's intermediate q...

0 Pasquale Iero, et al. ∙