Intermediate logic

Intermediate logic

In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic. Thus consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic).

Specifically, a superintuitionistic logic is a set "L" of propositional formulas in a countable set ofvariables "p""i" satisfying the following properties:
# all axioms of intuitionistic logic belong to "L";
# if "F" and "G" are formulas such that "F" and "F" → "G" both belong to "L", then "G" also belongs to "L" (closure under modus ponens);
# if "F"("p"1, "p"2, ..., "p""n") is a formula of "L", and "G"1, "G"2, ..., "G""n" are any formulas, then "F"("G"1, "G"2, ..., "G""n") belongs to "L" (closure under substitution).Such a logic is intermediate if furthermore

  1. "L" is not the set of all formulas.

There exists a continuum of different intermediate logics. Specific intermediate logics are often constructed by adding one or more axioms to intuitionistic logic, or by a semantical description. Examples of intermediate logics include:
* intuitionistic logic (IPC, Int, IL, H)
* classical logic (CPC, Cl, CL): IPC + "p" ∨ ¬"p"
* the logic of the weak excluded middle (KC, Jankov's logic, De Morgan logic): IPC + ¬¬"p" ∨ ¬"p"
* GödelDummett logic (LC, G): IPC + ("p" → "q") ∨ ("q" → "p")
* KreiselPutnam logic (KP): IPC + (¬"p" → ("q" ∨ "r")) → ((¬"p" → "q") ∨ (¬"p" → "r"))
* Medvedev's logic of finite problems (LM or ML): defined semantically as the logic of all frames of the form langlemathcal P(X)setminus{X},subseteq angle for finite sets "X" ("Boolean hypercubes without top"), as of 2008 not known to be recursively axiomatizable
* realizability logics
* Scott's logic: IPC + ((¬¬"p" → "p") → ("p" ∨ ¬"p")) → (¬¬"p" ∨ ¬"p")
* Smetanich's logic: IPC + (¬"q" → "p") → ((("p" → "q") → "p") → "p")

The tools for studying intermediate logics are similar to those used for intuitionistic logic, such as Kripke semantics. For example, Gödel–Dummett logic has a simple semantic characterization in terms of total orders.

emantics

Given a Heyting algebra γ, the set of propositional formulas that are valid on γ is an intermediate logic. Conversely, given an intermediate logic it is possible to construct its Lindenbaum algebra which is a Heyting algebra.

An intuitionistic Kripke frame "F" is a partially ordered set, and a Kripke model "M" is a Kripke frame with valuation such that {xmid M,xVdash p} is an upper subset of "F". The set of propositional formulas that are valid in "F" is an intermediate logic. Given an intermediate logic Σ it is possible to construct a Kripke model "M" such that the logic of "M" is Σ (this construction is called "canonical model"). A Kripke frame with this property may not exist, but a general frame always does.

Relation to modal logics

Let "A" be a propositional formula. The "Gödel–Tarski translation" of "A" is defined recursively as follows:

* T(p_n) = Box p_n
* T( eg A) = Box eg T(A)
* T(A and B) = T(A) and T(B)
* T(A vee B) = T(A) vee T(B)
* T(A o B) = Box (T(A) o T(B))

If Λ is a modal logic extending S4 then ρΛ = {"A" | "T"("A") ∈ Λ} is a superintuitionistic logic, and Λ is called a "modal companion" of ρΛ. In particular:

*IPC = ρS4
*KC = ρS4.2
*LC = ρS4.3
*CPC = ρS5

For every intermediate logic Σ there are many modal logics Λ such that Σ = ρΛ.

References

*Toshio Umezawa. On logics intermediate between intuitionistic and classical predicate logic. Journal of Symbolic Logic, 24(2):141–153, June 1959.
*Alexander Chagrov, Michael Zakharyaschev. Modal Logic. Oxford University Press, 1997.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… …   History of philosophy

  • Logic model — The logic model is a general framework for describing work in an organization. Since work is often packaged in programs, it is often referred to as the program logic model. Definition In its simplest form, the logic model analyzes work into four… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Logic level — In digital circuits, a logic level is one of a finite number of states that a signal can have. Logic levels are usually represented by the voltage difference between the signal and ground (or some other common reference point), although other… …   Wikipedia

  • Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

  • Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… …   Wikipedia

  • applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

  • Many-valued logic — In logic, a many valued logic (also multi or multiple valued logic) is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle s logical calculus, there were only two possible values (i.e., true and… …   Wikipedia

  • Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… …   Wikipedia

  • Multi-valued logic — Multi valued logics are logical calculi in which there are more than two truth values. Traditionally, logical calculi are two valued that is, there are only two possible truth values (i.e. truth and falsehood) for any proposition to take. An… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”