scientific article; zbMATH DE number 4004179

MaRDI QIDQ3755454zbMATH OpenFDO

Authors Valery Plisko

Publication date 1986

zbMATH Keywords

irrefutabilitypredicate formulasrealizabilitysemantic constrution of constructive logic

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 16511
• Between constructive mathematics and PROLOG
• A Survey of Propositional Realizability Logic
• scientific article; zbMATH DE number 3887681
• Predicate logics of constructive mathematical theories

Cited in

(26)

• Modified realizability and predicate logic
• Structuring co-constructive logic for proofs and refutations
• scientific article; zbMATH DE number 3887681 (Why is no real title available?)
• Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
• On the Construction of Semi-Iterative Methods
• scientific article; zbMATH DE number 4201592 (Why is no real title available?)
• On arithmetic complexity of some constructive logics
• The logic of interactive turing reduction
• scientific article; zbMATH DE number 4145898 (Why is no real title available?)
• Reverse constructive logic
• A Survey of Propositional Realizability Logic
• scientific article; zbMATH DE number 3916267 (Why is no real title available?)
• Gilt das Lemma von König „konstruktiv“?
• scientific article; zbMATH DE number 4053610 (Why is no real title available?)
• scientific article; zbMATH DE number 4089535 (Why is no real title available?)
• scientific article; zbMATH DE number 16511 (Why is no real title available?)
• scientific article; zbMATH DE number 125239 (Why is no real title available?)
• scientific article; zbMATH DE number 176201 (Why is no real title available?)
• The Semantic Conception of Logic
• scientific article; zbMATH DE number 4195902 (Why is no real title available?)
• Interactive realizations of logical formulas
• Predicate logics of constructive mathematical theories
• Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause
• Types for Proofs and Programs
• A constructive investigation of satisfiability
• Non-bounding constructions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3755454)