Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Second-order_propositional_logic> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items 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 wikiPageRevisionID "451145773".
- Second-order_propositional_logic hasPhotoCollection Second-order_propositional_logic.
- Second-order_propositional_logic subject Category:Propositional_calculus.
- 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 m.06w6_hp.
- Second-order_propositional_logic sameAs Q7442985.
- Second-order_propositional_logic sameAs Q7442985.
- Second-order_propositional_logic wasDerivedFrom Second-order_propositional_logic?oldid=451145773.
- Second-order_propositional_logic isPrimaryTopicOf Second-order_propositional_logic.