The following pages link to (Q4132480):
Displaying 50 items.
- End extensions of models of weak arithmetic theories (Q286696) (← links)
- The quasi-lattice of indiscernible elements (Q631517) (← links)
- Most general first order theorems are not recursively enumerable (Q672461) (← links)
- A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete (Q689290) (← links)
- On the existence of a possibility distribution function (Q703392) (← links)
- Inference rules using local contexts (Q751642) (← links)
- Quantified modal logic: non-normal worlds and propositional attitudes (Q787129) (← links)
- Measures on cylindric algebras (Q788718) (← links)
- A logical study of the correspondence relation (Q797569) (← links)
- Relativizations for the logic-automata connection (Q815004) (← links)
- A logical expression of reasoning (Q885515) (← links)
- A logic for Miranda (Q909443) (← links)
- Abstract deduction and inferential models for type theory (Q988551) (← links)
- Gruppenuniversalität und Homogenisierbarkeit (Q1073014) (← links)
- Models for normal intuitionistic modal logics (Q1096612) (← links)
- Models for stronger normal intuitionistic modal logics (Q1096613) (← links)
- On conceptual model specification and verification (Q1100939) (← links)
- Some unpublished papers of Jean van Heijenoort (Q1106823) (← links)
- Temporal logics need their clocks (Q1186428) (← links)
- Normal forms for a class of formulas (Q1186734) (← links)
- Consistency, mechanicalness, and the logic of the mind (Q1187223) (← links)
- Graph properties for normal logic programs (Q1208418) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Tarski on ``essentially richer'' metalanguages (Q1283316) (← links)
- Mathematical quantum theory. I: Random ultrafilters as hidden variables (Q1293048) (← links)
- Gentzen-type systems, resolution and tableaux (Q1311413) (← links)
- Intuitionistic interpretation of deductive databases with incomplete information (Q1341709) (← links)
- The complexity of concept languages (Q1363785) (← links)
- A binary modal logic for the intersection types of lambda-calculus. (Q1427854) (← links)
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics (Q1654210) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- Divergent mathematical treatments in utility theory (Q1706758) (← links)
- A ``geometric'' view of the dynamics of trajectories of computer programs (Q1813776) (← links)
- The non-definedness notion in expert systems (Q1818978) (← links)
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
- Infinitesimals and the continuum (Q1908685) (← links)
- QuasiBoolean algebras and simultaneously definite properties in quantum mechanics (Q1909323) (← links)
- A logical framework for evolving software systems (Q1911313) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Designing paradoxes: a revision-theoretic approach (Q2155938) (← links)
- Lazy evaluations in Łukasiewicz type fuzzy logic (Q2329100) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- The foundations of probability and quantum mechanics (Q2366247) (← links)
- Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) (← links)
- A general mathematics of names (Q2373874) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Languages of logic and their applications (Q2425445) (← links)
- Local saturation of the non-stationary ideal over \(\mathcal P_{\kappa}\lambda\) (Q2461192) (← links)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
