scientific article; zbMATH DE number 4004179

zbMATH Open0619.03039MaRDI QIDQ3755454FDOQ3755454

Authors: Valery Plisko 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

realizabilityirrefutabilitypredicate formulassemantic constrution of constructive logic

Mathematics Subject Classification ID

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

Cited In (23)

• Title not available (Why is that?)
• Structuring co-constructive logic for proofs and refutations
• Interactive realizations of logical formulas
• Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause
• A Survey of Propositional Realizability Logic
• Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A constructive investigation of satisfiability
• Title not available (Why is that?)
• The Semantic Conception of Logic
• On arithmetic complexity of some constructive logics
• Types for Proofs and Programs
• Gilt das Lemma von König „konstruktiv“?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reverse constructive logic
• Non-bounding constructions
• Title not available (Why is that?)
• On the Construction of Semi-Iterative Methods
• The logic of interactive turing reduction
• Predicate logics of constructive mathematical theories

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)