The following pages link to (Q4079581):
Displaying 50 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- Acceptance, inference, and the multiple-conclusion sequent (Q383068) (← links)
- Graphs of plural cuts (Q383359) (← links)
- What is relevance logic? (Q392272) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Some theorems on structural entailment relations (Q798645) (← links)
- That SCI has the interpolation property (Q800345) (← links)
- Simple consequence relations (Q809992) (← links)
- A family of strict/tolerant logics (Q830368) (← links)
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- The multiple facets of the canonical direct unit implicational basis (Q974107) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- Remarks on a survey article on many valued logic by A. Urquhart (Q1100190) (← links)
- Difference measurement spaces (Q1161518) (← links)
- Lukasiewicz logic and the foundations of measurement (Q1163536) (← links)
- The logic of approximation in quantum theory (Q1170179) (← links)
- Erotetic arguments: A preliminary analysis (Q1181488) (← links)
- On Kreisel's notion of validity in Post systems (Q1240221) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- Erotetic implications (Q1319265) (← links)
- On completeness theorems for feature logics (Q1353907) (← links)
- Singulary extensional connectives: A closer look (Q1362590) (← links)
- The presence of lattice theory in discrete problems of mathematical social sciences. Why. (Q1414820) (← links)
- False though partly true -- an experiment in logic (Q1425194) (← links)
- A representation of stably compact spaces, and patch topology. (Q1427774) (← links)
- The revival of rejective negation (Q1582228) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Presuppositional completeness (Q1823929) (← links)
- A syntactical proof of the Marriage Lemma. (Q1853584) (← links)
- The expressive truth conditions of two-valued logic (Q1882401) (← links)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
- A refutation theory (Q1931339) (← links)
- Disjunctive and conjunctive multiple-conclusion consequence relations (Q2027207) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- Paraconsistent inference relations induced from inconsistency measures (Q2105602) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- Inducing inference relations from inconsistency measures (Q2146049) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Remarks on the Scott-Lindenbaum theorem (Q2259002) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Lattice-ordered groups generated by an ordered group and regular systems of ideals (Q2326029) (← links)
