Pages that link to "Item:Q1140436"
From MaRDI portal
The following pages link to Prolegomena to a theory of mechanized formal reasoning (Q1140436):
Displayed 28 items.
- Comparing formal theories of context in AI (Q814585) (← links)
- An epistemic model of logic programming (Q918192) (← links)
- A proof description language and its reduction system (Q1055769) (← links)
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!) (Q1068068) (← links)
- Automated inferencing (Q1070835) (← links)
- Complex structures and composite models - An essay on methodology (Q1071699) (← links)
- Metamathematical extensibility for theorem verifiers and proof-checkers (Q1131849) (← links)
- The independence of control structures in abstract programming systems (Q1155949) (← links)
- Theory construction in psychology: The interpretation and integration of psychological data (Q1157291) (← links)
- An efficient interpreter for the lambda-calculus (Q1158139) (← links)
- Reasoning about reasoning in a meta-level architecture (Q1183375) (← links)
- A theory of abstraction (Q1199923) (← links)
- Heuristic reasoning and relative incompleteness (Q1209535) (← links)
- Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
- Hybrid reasoning using universal attachment (Q1329365) (← links)
- Embedding complex decision procedures inside an interactive theorem prover. (Q1353946) (← links)
- Program tactics and logic tactics (Q1380427) (← links)
- A first order logic of effects (Q1390955) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- A two-level temporal logic for evolving specifications. (Q1853062) (← links)
- DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE (Q3352551) (← links)
- (Q3880307) (← links)
- A metalogic programming approach: language, semantics and applications (Q4305334) (← links)
- Contextual reasoning distilled (Q4784279) (← links)
- Formal semantics of meta-level architectures: Dynamic control of reasoning (Q4785088) (← links)
- Semantic formalization of interactive reasoning functionality (Q4785094) (← links)
- Temporal theories of reasoning (Q4835517) (← links)
- Local Models Semantics, or contextual reasoning = locality + compatibility (Q5941211) (← links)