A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On two Classical Results in the First Order Logic”
A theory of prepositional types
The Properties of Sets of Temporal Logic Subformulas
Mariusz Giero (2012)
Formalized Mathematics
Similarity:
This is a second preliminary article to prove the completeness theorem of an extension of basic propositional temporal logic. We base it on the proof of completeness for basic propositional temporal logic given in [17]. We introduce two modified definitions of a subformula. In the former one we treat until-formula as indivisible. In the latter one, we extend the set of subformulas of until-formulas by a special disjunctive formula. This is needed to construct a temporal model. We also...
The logic of negationless mathematics
P. G. J. Vredenduin (1953)
Compositio Mathematica
Similarity:
Intuitionistic modal logic with quantifiers
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity:
A Logic with Conditional Probability Operators
Dragan Doder, Bojan Marinković, Petar Maksimović, Aleksandar Perović (2010)
Publications de l'Institut Mathématique
Similarity:
Completeness theorem for logic with imprecise and conditional probabilities.
Ognjanović, Zoran, Marković, Zoran, Rašković, Miodrag (2005)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
A Logic for Reasoning About Qualitative Probability
Angelina Ilić-Stepić (2010)
Publications de l'Institut Mathématique
Similarity:
Probability Logics
Zoran Ognjanović, Miodrag Rašković, Zoran Marković (2009)
Zbornik Radova
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
A Parigot-style linear -calculus for full intuitionistic linear logic.
de Paiva, Valeria, Ritter, Eike (2006)
Theory and Applications of Categories [electronic only]
Similarity: