Pages that link to "Item:Q2372412"

The following pages link to Completeness theory for propositional logics (Q2372412):

Displaying 33 items.

• Almost structural completeness; an algebraic approach (Q278762) (← links)
• On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics (Q831227) (← links)
• Expressive power and incompleteness of propositional logics (Q965859) (← links)
• A theory of strict P-completeness (Q1337145) (← links)
• Completeness for ancestral logic via a computationally-meaningful semantics (Q1694469) (← links)
• Provability logic and the completeness principle (Q1740459) (← links)
• Completeness and incompleteness for plausibility logic (Q1923829) (← links)
• Theory of completeness for logical spaces (Q1931338) (← links)
• On pairs of dual consequence operations (Q1941723) (← links)
• Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
• Beyond Rasiowan systems: unital deductive systems (Q2254559) (← links)
• Deciding active structural completeness (Q2288335) (← links)
• On the mutual definability of the notions of entailment, rejection, and inconsistency (Q2422532) (← links)
• Cauchy completeness in elementary logic (Q3128466) (← links)
• A LOGICAL ANALYSIS OF RULE INCONSISTENCY (Q3225381) (← links)
• (Q3312204) (← links)
• Completeness and Decidability in Sequence Logic (Q3498460) (← links)
• (Q3533560) (← links)
• (Q3762316) (← links)
• (Q3781072) (← links)
• (Q4198476) (← links)
• (Q4353623) (← links)
• Completeness of neighbourhood logic (Q4487260) (← links)
• The Lvov-Warsaw School: A True Mythology (Q4611708) (← links)
• Proving completeness by logic (Q4653719) (← links)
• Maximality of the Minimal R-Logic (Q4683224) (← links)
• (Q4789047) (← links)
• Some Completeness Results for Propositional Conditional Logics (Q4834298) (← links)
• On the system CB1 and a lattice of the paraconsistent calculi (Q5006825) (← links)
• A lattice of the paracomplete calculi (Q5061413) (← links)
• Singly generated quasivarieties and residuated structures (Q5119904) (← links)
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
• A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)