List of Hilbert systems

http://dbpedia.org/resource/List_of_Hilbert_systems

Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle. rdf:langString
This article contains a list of sample Hilbert-style deductive systems for propositional logics. rdf:langString
Este artigo contém uma lista de exemplos de Sistemas de dedução ao estilo de Hilbert da lógica proposicional. rdf:langString
rdf:langString Liste de systèmes logiques
rdf:langString List of Hilbert systems
rdf:langString Lista de sistemas dedutivos
xsd:integer 28748406
xsd:integer 1115250749
rdf:langString Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle.
rdf:langString This article contains a list of sample Hilbert-style deductive systems for propositional logics.
rdf:langString Este artigo contém uma lista de exemplos de Sistemas de dedução ao estilo de Hilbert da lógica proposicional.
xsd:nonNegativeInteger 17861
<http://dbpedia.org/resource/Category:Logical_calculi>
<http://dbpedia.org/resource/Category:Propositional_calculus>
<http://dbpedia.org/resource/Category:Systems_of_formal_logic>
<http://dbpedia.org/resource/Category:Mathematical_logic>
<http://dbpedia.org/resource/Category:Logic-related_lists>
<http://dbpedia.org/resource/Carew_Arthur_Meredith>
<http://dbpedia.org/resource/Bertrand_Russell>
<http://dbpedia.org/resource/Bivalent_logic>
<http://dbpedia.org/resource/David_Hilbert>
<http://dbpedia.org/resource/Paul_Bernays>
<http://dbpedia.org/resource/Ingebrigt_Johansson>
<http://dbpedia.org/resource/Intuitionistic_logic>
<http://dbpedia.org/resource/Peirce's_law>
<http://dbpedia.org/resource/Elliott_Mendelson>
<http://dbpedia.org/resource/Functionally_complete>
<http://dbpedia.org/resource/Gottlob_Frege>
<http://dbpedia.org/resource/Category:Logical_calculi>
<http://dbpedia.org/resource/Category:Propositional_calculus>
<http://dbpedia.org/resource/Completeness_(logic)>
<http://dbpedia.org/resource/Deductive_system>
<http://dbpedia.org/resource/Propositional_logic>
<http://dbpedia.org/resource/Minimal_logic>
<http://dbpedia.org/resource/Alfred_Tarski>
<http://dbpedia.org/resource/Alonzo_Church>
<http://dbpedia.org/resource/Category:Systems_of_formal_logic>
<http://dbpedia.org/resource/Logical_connective>
<http://dbpedia.org/resource/Hilbert_system>
<http://dbpedia.org/resource/Jan_Łukasiewicz>
<http://dbpedia.org/resource/Argonne_National_Laboratory>
<http://dbpedia.org/resource/Category:Mathematical_logic>
<http://dbpedia.org/resource/Jean_Nicod>
<http://dbpedia.org/resource/Modus_ponens>
<http://dbpedia.org/resource/Classical_logic>
<http://dbpedia.org/resource/Implicational_propositional_calculus>
<http://dbpedia.org/resource/Rule_of_inference>
<http://dbpedia.org/resource/Category:Logic-related_lists>
<http://dbpedia.org/resource/Truth_tables>
<http://dbpedia.org/resource/Biconditional>
<http://dbpedia.org/resource/Intermediate_logics>
<http://dbpedia.org/resource/Excluded_middle>
<http://dbpedia.org/resource/Sheffer's_stroke>
<http://dbpedia.org/resource/John_Arnold_Kalman>
<http://dbpedia.org/resource/Bolesław_Sobociński>
<http://dbpedia.org/resource/Mordechaj_Wajsberg>
<http://dbpedia.org/resource/S._Winker>
<http://www.wikidata.org/entity/Q6626686>
<http://fr.dbpedia.org/resource/Liste_de_systèmes_logiques>
<http://pt.dbpedia.org/resource/Lista_de_sistemas_dedutivos>
<https://global.dbpedia.org/id/4r3ne>
<http://dbpedia.org/resource/Template:Citation_needed>
<http://dbpedia.org/resource/Template:More_citations_needed>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:Slink>
<http://en.wikipedia.org/wiki/List_of_Hilbert_systems?oldid=1115250749&ns=0>
<http://en.wikipedia.org/wiki/List_of_Hilbert_systems>

data from the linked data cloud