Publication:6612807: Difference between revisions
From MaRDI portal
Publication:6612807
Created automatically from import250213030230 |
(No difference)
|
Latest revision as of 18:42, 13 February 2025
DOI10.1007/978-3-031-47921-2_1MaRDI QIDQ6612807FDOQ6612807
Publication date: 1 October 2024
Biographies, obituaries, personalia, bibliographies (01A70) Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semiorders and a Theory of Utility Discrimination
- Inductive inference of formal languages from positive data
- Unification in intuitionistic logic
- Language identification in the limit
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- Existence and feasibility in arithmetic
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Rules of inference with parameters for intuitionistic logic
- Provability interpretations of modal logic
- Solution of a problem of Leon Henkin
- Explicit fixed points in interpretability logic
- The interpretability logic of Peano arithmetic
- Intuitionistic implication without disjunction
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Self-reference and modal logic
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- A(nother) characterization of intuitionistic propositional logic
- Points and Spaces
- Characterization of strongly equivalent logic programs in intermediate logics
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- Interpretability in PRA
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Stable formulas in intuitionistic logic
- Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
- Extendible formulas in two variables in intuitionistic logic
- Finitely generated free Heyting algebras
- The decidability of dependency in intuitionistic propositional logic
- Rosser sentences
- The de Jongh property for basic arithmetic
- Intermediate logics and the de Jongh property
- On the quantificational logic of intuitionistic set theory
- Weak Logics with Strict Implication
- Admissible and derivable rules in intuitionistic logic
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- Logics of intuitionistic Kripke-Platek set theory
- A note on the diagonalizable algebras of PA and ZF
- A small reflection principle for bounded arithmetic
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
- An extension of a theorem of Gaifman-Hales-Solvay
- Logical connectives for intuitionistic propositional logic
- Subminimal negation
- Proof theory for positive logic with weak negation
- Provability: The emergence of a mathematical modality
- Frame based formulas for intermediate logics
- Computations in fragments of intuitionistic propositional logic
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
- The Kuznetsov-Gerčiu and Rieger-Nishimura logics
- Provable Fixed Points
- Binary modal companions for subintuitionistic logics
- Bounds for the closure ordinals of replete monotonic increasing functions
- Subintuitionistic logics and the implications they prove
- Subintuitionistic logics with Kripke semantics
- Weak subintuitionistic logics
- Logic and Learning
- Explicating logical independence
- Properties of Intuitionistic Provability and Preservativity Logics
- Universal models for the positive fragment of intuitionistic logic
- Much Shorter Proofs
- Unifiability in extensions of K4
- Comparing strengths of beliefs explicitly
- Two neighborhood semantics for subintuitionistic logics
- A study of subminimal logics of negation and their modal companions
- NNIL-formulas revisited: Universal models and finite model property
- Finite identification with positive and with complete data
This page was built for publication: Notes on my scientific life
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612807)