Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Second-order_propositional_logic> ?p ?o }
Showing triples 1 to 29 of
29
with 100 triples per page.
- Second-order_propositional_logic abstract "A second-order propositional logic is a propositional logic extended with quantification over propositions. A special case are the logics that allow second-order Boolean propositions, where quantifiers may range either just over the Boolean truth values, or over the Boolean-valued truth functions.The most widely known formalism is the intuitionistic logic with impredicative quantification, system F. Parigot (1997) showed how this calculus can be extended to admit classical logic.".
- Second-order_propositional_logic wikiPageID "23454734".
- Second-order_propositional_logic wikiPageLength "895".
- Second-order_propositional_logic wikiPageOutDegree "13".
- Second-order_propositional_logic wikiPageRevisionID "620964980".
- Second-order_propositional_logic wikiPageWikiLink Boolean_satisfiability_problem.
- Second-order_propositional_logic wikiPageWikiLink Category:Propositional_calculus.
- Second-order_propositional_logic wikiPageWikiLink Classical_logic.
- Second-order_propositional_logic wikiPageWikiLink Intuitionistic_logic.
- Second-order_propositional_logic wikiPageWikiLink Journal_of_Symbolic_Logic.
- Second-order_propositional_logic wikiPageWikiLink Propositional_calculus.
- Second-order_propositional_logic wikiPageWikiLink Quantifier_(logic).
- Second-order_propositional_logic wikiPageWikiLink Second-order_arithmetic.
- Second-order_propositional_logic wikiPageWikiLink Second-order_logic.
- Second-order_propositional_logic wikiPageWikiLink System_F.
- Second-order_propositional_logic wikiPageWikiLink Truth_function.
- Second-order_propositional_logic wikiPageWikiLink Truth_value.
- Second-order_propositional_logic wikiPageWikiLink Type_theory.
- Second-order_propositional_logic wikiPageWikiLinkText "Second-order propositional logic".
- Second-order_propositional_logic wikiPageUsesTemplate Template:Logic-stub.
- Second-order_propositional_logic subject Category:Propositional_calculus.
- Second-order_propositional_logic hypernym Logic.
- Second-order_propositional_logic comment "A second-order propositional logic is a propositional logic extended with quantification over propositions. A special case are the logics that allow second-order Boolean propositions, where quantifiers may range either just over the Boolean truth values, or over the Boolean-valued truth functions.The most widely known formalism is the intuitionistic logic with impredicative quantification, system F. Parigot (1997) showed how this calculus can be extended to admit classical logic.".
- Second-order_propositional_logic label "Second-order propositional logic".
- Second-order_propositional_logic sameAs Q7442985.
- Second-order_propositional_logic sameAs m.06w6_hp.
- Second-order_propositional_logic sameAs Q7442985.
- Second-order_propositional_logic wasDerivedFrom Second-order_propositional_logic?oldid=620964980.
- Second-order_propositional_logic isPrimaryTopicOf Second-order_propositional_logic.