The following pages link to (Q5320764):
Displaying 43 items.
- Interpretation of constructive multi-typed theory in the theory of arithmetical truth (Q266212) (← links)
- Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation (Q287361) (← links)
- The paraconsistent logic of quantum superpositions (Q365767) (← links)
- Knowing the price of success (Q785233) (← links)
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) (Q828777) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- Taking the Pirahã seriously (Q907196) (← links)
- Significato e verita nell'aritmetica peaniana (Q1221103) (← links)
- New logics for quantum non-individuals? (Q1632051) (← links)
- Gödel's natural deduction (Q1744008) (← links)
- Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430) (← links)
- An extended propositional logic for incomplete knowledge (Q1762230) (← links)
- Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.) (Q1845881) (← links)
- An epistemic logic of blameworthiness (Q1989408) (← links)
- Truthful germs are contagious: a local-to-global characterization of truthfulness (Q2016243) (← links)
- Calculi for many-valued logics (Q2045004) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- The mathematical descriptions of truth and change (Q2151524) (← links)
- Axiomatic theory of betweenness (Q2219098) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis (Q2306310) (← links)
- Metamathematical properties of a constructive multi-typed theory (Q2363505) (← links)
- On structural features of the implication fragment of Frege's \textit{Grundgesetze} (Q2409390) (← links)
- Su una classe equazionale di algebre (Q2527945) (← links)
- Logic explained networks (Q2680793) (← links)
- Non-uniqueness and exotic solutions of conjugacy equations (Q2796782) (← links)
- Gold-Style Learning Theory (Q2963592) (← links)
- Program Size Complexity of Correction Grammars in the Ershov Hierarchy (Q3188262) (← links)
- Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators (Q3299518) (← links)
- A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS (Q3450813) (← links)
- Some Combinatorial Theorems Equivalent to the Prime Ideal Theorem (Q4401450) (← links)
- SURREAL ORDERED EXPONENTIAL FIELDS (Q5015725) (← links)
- SUFFICIENT CONDITIONS FOR THE EXISTENCE OF UNDECIDABLE INDIRECTLY REFLECTIVE SENTENCES (Q5042804) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Brouwer’s Ideas and Intuitionistic Fuzziness (Q5214146) (← links)
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS (Q5381039) (← links)
- Computable Algebraic Structures and Nonstandard Arithmetic (Q5566510) (← links)
- Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)
- Foundations of applied mathematics. I (Q6142492) (← links)
- A Boolean-algebraic approach to completeness for normal modal predicate logics (Q6641109) (← links)
- Optimal control of stochastic delay differential equations: optimal feedback controls (Q6667474) (← links)
