| dbo:abstract |
Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle. (fr) This article contains a list of sample Hilbert-style deductive systems for propositional logics. (en) Este artigo contém uma lista de exemplos de Sistemas de dedução ao estilo de Hilbert da lógica proposicional. (pt) |
| dbo:wikiPageID |
28748406 (xsd:integer) |
| dbo:wikiPageLength |
17861 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1115250749 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Carew_Arthur_Meredith dbr:Bertrand_Russell dbr:Bivalent_logic dbr:David_Hilbert dbr:Paul_Bernays dbr:Ingebrigt_Johansson dbr:Intuitionistic_logic dbr:Peirce's_law dbr:Elliott_Mendelson dbr:Functionally_complete dbr:Gottlob_Frege dbc:Logical_calculi dbc:Propositional_calculus dbr:Completeness_(logic) dbr:Deductive_system dbr:Propositional_logic dbr:Minimal_logic dbr:Alfred_Tarski dbr:Alonzo_Church dbc:Systems_of_formal_logic dbr:Logical_connective dbr:Hilbert_system dbr:Jan_Łukasiewicz dbr:Argonne_National_Laboratory dbc:Mathematical_logic dbr:Jean_Nicod dbr:Modus_ponens dbr:Classical_logic dbr:Implicational_propositional_calculus dbr:Rule_of_inference dbc:Logic-related_lists dbr:Truth_tables dbr:Biconditional dbr:Intermediate_logics dbr:Excluded_middle dbr:Sheffer's_stroke dbr:John_Arnold_Kalman dbr:Bolesław_Sobociński dbr:Mordechaj_Wajsberg dbr:S._Winker |
| dbp:wikiPageUsesTemplate |
dbt:Citation_needed dbt:More_citations_needed dbt:Reflist dbt:Short_description dbt:Slink |
| dcterms:subject |
dbc:Logical_calculi dbc:Propositional_calculus dbc:Systems_of_formal_logic dbc:Mathematical_logic dbc:Logic-related_lists |
| rdfs:comment |
Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle. (fr) This article contains a list of sample Hilbert-style deductive systems for propositional logics. (en) Este artigo contém uma lista de exemplos de Sistemas de dedução ao estilo de Hilbert da lógica proposicional. (pt) |
| rdfs:label |
Liste de systèmes logiques (fr) List of Hilbert systems (en) Lista de sistemas dedutivos (pt) |
| owl:sameAs |
wikidata:List of Hilbert systems dbpedia-fr:List of Hilbert systems dbpedia-pt:List of Hilbert systems https://global.dbpedia.org/id/4r3ne |
| prov:wasDerivedFrom |
wikipedia-en:List_of_Hilbert_systems?oldid=1115250749&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:List_of_Hilbert_systems |
| is dbo:wikiPageRedirects of |
dbr:List_of_logic_systems dbr:Equivalential_calculus dbr:Positive_propositional_calculus |
| is dbo:wikiPageWikiLink of |
dbr:List_of_logic_systems dbr:Double_negation dbr:Minimal_logic dbr:Hilbert_system dbr:Hypothetical_syllogism dbr:Frege's_theorem dbr:Equivalential_calculus dbr:Positive_propositional_calculus |
| is foaf:primaryTopic of |
wikipedia-en:List_of_Hilbert_systems |