The following pages link to (Q3229402):
Displaying 29 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- An explicit basis for admissible inference rules in table modal logics of width 2 (Q431673) (← links)
- General-elimination harmony and the meaning of the logical constants (Q600850) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Continuum, name and paradox (Q707899) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- The information in intuitionistic logic (Q833032) (← links)
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms (Q929294) (← links)
- The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle (Q1056741) (← links)
- Least \(V\)-quasivarieties of MV-algebras (Q1697351) (← links)
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness (Q1790605) (← links)
- A new concept of predicative truth and definability (Q2264656) (← links)
- Steps towards a proof-theoretical semantics (Q2339008) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- From Mathesis Universalis to Provability, Computability, and Constructivity (Q3305633) (← links)
- Dialogues, Reasons and Endorsement (Q3305643) (← links)
- The Truth of Proof: A Hegelian Perspective on Constructivism (Q3305649) (← links)
- PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION (Q4961867) (← links)
- (Q4966006) (← links)
- Dialectic, the Dictum de Omni and Ecthesis (Q5208123) (← links)
- General-Elimination Harmony and Higher-Level Rules (Q5213616) (← links)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
- The modal logics of the poison game (Q6601761) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Material dialogues for first-order logic in constructive type theory: extended version (Q6646010) (← links)
- Basis of globally admissible rules for logic S4 (Q6663881) (← links)
