Unification in intuitionistic logic
From MaRDI portal
Publication:4262590
DOI10.2307/2586506zbMath0930.03009OpenAlexW2108756969MaRDI QIDQ4262590
Publication date: 12 September 1999
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586506
variety of Heyting algebrasDe Morgan lawfinitary unification typefinitely presented projective algebrasunitary unification type
Heyting algebras (lattice-theoretic aspects) (06D20) Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20) Injectives, projectives (08B30) Intermediate logics (03B55)
Related Items
On rules, Multiagent temporal logics with multivaluations, Almost structural completeness; an algebraic approach, Admissible bases via stable canonical rules, A syntactic approach to unification in transitive reflexive modal logics, The basic intuitionistic logic of proofs, Tutorial on Admissible Rules in Gudauri, Admissibility and Unifiability in Contact Logics, A Note on Extensions: Admissible Rules via Semantics, A Tableau Method for Checking Rule Admissibility in S4, Structural completeness in propositional logics of dependence, Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge, Filtering unification and most general unifiers in modal logic, Admissibility in De Morgan algebras, Hypersequent rules with restricted contexts for propositional modal logics, Multiagent temporal logics, unification problems, and admissibilities, Complexity of admissible rules, Unification, finite duality and projectivity in varieties of Heyting algebras, Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, Finitary unification in locally tabular modal logics characterized, Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\), On unification and admissible rules in Gabbay-de Jongh logics, KD is nullary, Dynamic temporal logical operations in multi-agent logics, A coalgebraic approach to non-determinism: applications to multilattices, Admissible rules for six intuitionistic modal logics, Structural and universal completeness in algebra and logic, Admissibility and unification in the modal logics related to S4.2, Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality, An explicit basis for admissible inference rules in table modal logics of width 2, Admissible rules in the implication-negation fragment of intuitionistic logic, Multi-agent logics with multi-valuations and intensional logical operations, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification, Best unifiers in transitive modal logics, Extendible formulas in two variables in intuitionistic logic, Checking Admissibility Using Natural Dualities, 2006–07 Winter Meeting of the Association for Symbolic Logic, UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS, 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, Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond, Best solving modal equations, Admissibility and refutation: some characterisations of intermediate logics, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation, Linear temporal logic with until and next, logical consecutions, 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10, Finite frames fail: how infinity works its way into the semantics of admissibility, Codimension and pseudometric in co-Heyting algebras, PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS, Rules and arithmetics, Intermediate logics and Visser's rules, Unification in linear temporal logic LTL, On the rules of intermediate logics, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Frege systems for extensible modal logics, Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics, Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic, 2004 Annual Meeting of the Association for Symbolic Logic, Proof Complexity of Non-classical Logics, Proof theory for admissible rules, Logical consecutions in discrete linear temporal logic, Canonical rules, Temporal logic with accessibility temporal relations generated by time states themselves, Structural completeness in many-valued logics with rational constants, Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK, Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Inference rules in Nelson's logics, admissibility and weak admissibility, Rules with parameters in modal logic. I., Projectivity in (bounded) commutative integral residuated lattices, Admissibility via natural dualities
Cites Work
