Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

DOI10.12775/LLP.2017.010zbMath1417.03124MaRDI QIDQ4565827

Ivo Pezlar

Publication date: 13 June 2018

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

zbMATH Keywords

constructive type theoryprocedural semanticstransparent intensional logiclogic of problemsalgorithmic semantics

Mathematics Subject Classification ID

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

Related Items (4)

Meaning and computing: two approaches to computable propositions ⋮ Type polymorphism, natural language semantics, and TIL ⋮ Anatomy of a proposition ⋮ Existential Import and Relations of Categorical and Modal Categorical Statements

Uses Software

• Automath

Cites Work

• Constructive belief reports
• Treatise on intuitionistic type theory
• Intuitionism. An introduction
• Combinatory logic. With two sections by William Craig.
• Constructions, proofs and the meaning of logical constants
• Lectures on the Curry-Howard isomorphism
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Indiscernibility of identicals
• Untersuchungen über das logische Schliessen. I
• A new logic of technical malfunction
• Letters of A. N. Kolmogorov to A. Heyting
• Procedural isomorphism, analytic information and  -conversion by value
• Homotopy Type Theory: Univalent Foundations of Mathematics
• A formulation of the simple theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach