Review: V. A. Jankov, Finite Validity of Formulas of a Special Form [Book Review]

Journal of Symbolic Logic 38 (2):331-331 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Local-Global Properties of Positive Primitive Formulas in the Theory of Spaces of Orderings.M. Marshall - 2006 - Journal of Symbolic Logic 71 (4):1097 - 1107.
An Infinitary Extension of Jankov’s Theorem.Yoshihito Tanaka - 2007 - Studia Logica 86 (1):111 - 131.
An algorithm for finding finite axiomatizations of finite intermediate logics by means of jankov formulas.Eugeniusz Tomaszewski - 2002 - Bulletin of the Section of Logic 31 (1):1-6.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
Review: V. A. Jankov, Conjunctively Indecomposable Formulas in Propositional Calculi. [REVIEW]C. G. McKay - 1972 - Journal of Symbolic Logic 37 (1):186-186.
Conservative reduction classes of Krom formulas.Stål O. Aanderaa, Egon Börger & Harry R. Lewis - 1982 - Journal of Symbolic Logic 47 (1):110-130.
Review: V. A. Jankov, Constructing a Sequence of Strongly Independent Superintuitionistic Propositional Calculi; V. A. Jankov, The Calculus of the weak "law of excluded Middle.". [REVIEW]Alfred Horn - 1972 - Journal of Symbolic Logic 37 (1):186-186.
Review: Yu. T. Medvedev, Elliott Medelson, Finite Problems; Yu. T. Medvedev, Sue Ann Walker, Interpretation of Logical Formulas by Means of Finite Problems and its Relation to the Realizability Theory; Ju. T. Medvedev, Sue Ann Walker, Interpretation of Logical Formulas by Means of Finite Problems. [REVIEW]Joan Rand Moschovaks - 1973 - Journal of Symbolic Logic 38 (2):330-331.
Formulas in modal logic s4.Katsumi Sasaki - 2010 - Review of Symbolic Logic 3 (4):600-627.
The modal logic of the countable random frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames.A. V. Chagrov & L. A. Chagrova - 1995 - Studia Logica 55 (3):421 - 448.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,459,986)

6 months
2 (#1,196,523)

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