The following pages link to Logic and structure (Q5907067):
Displaying 38 items.
- No two entities without identity (Q408306) (← links)
- An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic (Q475340) (← links)
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- Are mathematical theories reducible to non-analytic foundations? (Q482327) (← links)
- Belief functions on distributive lattices (Q490415) (← links)
- Omitting types in an intermediate logic (Q539154) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Combinatorial bitstring semantics for arbitrary logical fragments (Q1749808) (← links)
- A comparison of two topos-theoretic approaches to quantum theory (Q1936655) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Economic reasoning with demand and supply graphs (Q2173168) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Natural deduction bottom up (Q2236507) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Semantics for intuitionistic epistemic logics of shallow depths for game theory (Q2376985) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- A framework for intuitionistic grammar logics (Q2695538) (← links)
- Neighborhood Semantics for Basic and Intuitionistic Logic (Q2987743) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- Cathoristic Logic (Q3297837) (← links)
- Logical Foundations of Evidential Reasoning with Contradictory Information (Q3305428) (← links)
- On Non-transitive “Identity” (Q3305680) (← links)
- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions (Q3584967) (← links)
- Logics for Two Fragments beyond the Syllogistic Boundary (Q3586020) (← links)
- Preservation theorems for Kripke models (Q3619870) (← links)
- (Q3822001) (← links)
- Algebraic semantics for modal and superintuitionistic non-monotonic logics (Q4583313) (← links)
- On definite program answers and least Herbrand models (Q4593038) (← links)
- (Q4694214) (← links)
- Structures of Oppositions in Public Announcement Logic (Q4915594) (← links)
- (Q5129949) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)
- Logic and structure. (Q5906606) (← links)
