Skip to search formSkip to main contentSkip to account menu

List of logic systems

This article contains a list of sample Hilbert-style deductive systems for propositional logic.
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Hilbert systemIntuitionistic logicLogical connective

Broader (1)

Propositional calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Many-valued Paraconsistent Extensions of Classical Positive Propositional Calculus
2000
2000
Axiomatizing the Least Fixed Point Operation and Binary Supremum
The equational properties of the least fixed point operation on (ω-)continuous functions on (ω-)complete partially ordered sets… 
1997
1997
Elements of the pragmatic thinking in the principles of Islamic jurisprudence, with special reference to medieval Sunnī legal theorists' models of textual communication
  • M. Ali
  • 1997
  • Corpus ID: 148580072
Elements of The Pragmatic Thinking in the Principles of Islamic Jurisprudence, With Special Reference to Sunni legal Theorists… 
1989
1989
Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term
The most difficult problem that Leśniewski came across in constructing his system of the foundations of mathematics was the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)