Pages that link to "Item:Q904154"
From MaRDI portal
The following pages link to Corrigendum to: ``An order-theoretic analysis of interpretations among propositional deductive systems'' (Q904154):
Displaying 11 items.
- Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms'' (Q418158) (← links)
- Corrigendum to: ``Ordering based on implications'' (Q507773) (← links)
- A correction to ``Nonmonotonic inconsistency'' (Q814644) (← links)
- The complexity of revision, revised (Q1430997) (← links)
- Corrigendum to: ``Towards a probability theory for product logic: states, integral representation and reasoning'' (Q1726293) (← links)
- Correction to: ``Ontological commitments of frame-based knowledge representations'' (Q2054158) (← links)
- Correction to: ``A formalization of the Smith normal form in higher-order logic'' (Q2102951) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic'' (Q2364369) (← links)
- Corrigendum to “Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers” (Q5718701) (← links)
- Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)'' (Q6083023) (← links)
