Algorithmic theories of problems. A constructive and a non-constructive approach

DOI10.12775/LLP.2017.010MaRDI QIDQ4565827zbMATH OpenFDO

Authors Ivo Pezlar

Publication date 13 June 2018

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2017.010

zbMATH Keywords

algorithmic semanticsconstructive type theorylogic of problemsprocedural semanticstransparent intensional logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 16511
• scientific article; zbMATH DE number 4118367
• scientific article; zbMATH DE number 4125400
• Generalized Construction Problems
• scientific article; zbMATH DE number 1301806

Cites work

• A formulation of the simple theory of types
• A new logic of technical malfunction
• Combinatory logic. With two sections by William Craig.
• Conceptual and derivation systems
• Constructions, proofs and the meaning of logical constants
• Constructive belief reports
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 3650551 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3692654 (Why is no real title available?)
• scientific article; zbMATH DE number 3767623 (Why is no real title available?)
• scientific article; zbMATH DE number 43055 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 50290 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 3521951 (Why is no real title available?)
• scientific article; zbMATH DE number 1469885 (Why is no real title available?)
• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• scientific article; zbMATH DE number 6423789 (Why is no real title available?)
• scientific article; zbMATH DE number 6423952 (Why is no real title available?)
• scientific article; zbMATH DE number 5938111 (Why is no real title available?)
• scientific article; zbMATH DE number 3278867 (Why is no real title available?)
• scientific article; zbMATH DE number 3365218 (Why is no real title available?)
• scientific article; zbMATH DE number 2212542 (Why is no real title available?)
• Indiscernibility of identicals
• Intuitionism. An introduction
• Is transparent intensional logic a non-classical logic?
• Lectures on the Curry-Howard isomorphism
• Letters of A. N. Kolmogorov to A. Heyting
• Ordinary modalities
• Procedural isomorphism, analytic information and  -conversion by value
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• The notion of problem, intuitionism and partiality
• Treatise on intuitionistic type theory
• Types and programing languages
• Untersuchungen über das logische Schliessen. I

Cited in

(11)

• Anatomy of a proposition
• Meaning and computing: two approaches to computable propositions
• Algorithmic Pirogov-Sinai theory
• Existential import and relations of categorical and modal categorical statements
• The notion of problem, intuitionism and partiality
• scientific article; zbMATH DE number 4043307 (Why is no real title available?)
• scientific article; zbMATH DE number 2009999 (Why is no real title available?)
• Non-constructive procedural theory of propositional problems and the equivalence of solutions
• scientific article; zbMATH DE number 3892594 (Why is no real title available?)
• Type polymorphism, natural language semantics, and TIL
• Hyperintensions as computations

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Algorithmic theories of problems. A constructive and a non-constructive approach

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