About: Judgment (mathematical logic)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Statement that asserts that a certain premise is true

Property	Value
dbo:description	statement that asserts that a certain premise is true (en) dichiarazione della verità di una premessa (it) afirmación que asevera que una premisa es verdadera (es)
dbo:wikiPageExternalLink	https://archive-pml.github.io/martin-lof/pdfs/Meanings-of-the-Logical-Constants-1983.pdf%7Cjournal=Nordic http://www.cs.cornell.edu/info/Projects/Nuprl/cs671/cs671-fa99/martin.html https://www.cs.cmu.edu/~fp/courses/atp/handouts/ch2-natded.pdf http://www.everything2.org/index.pl%3Fnode=Judgment
dbo:wikiPageWikiLink	dbr:Natural_deduction dbr:Sequent_calculus dbr:Rule_of_inference dbc:Proof_theory dbr:First-order_logic dbr:Logical_consequence dbc:Logical_calculi dbr:Type_theory dbr:Metatheorem dbr:Metatheory dbr:Proposition dbr:Formal_system dbr:Well-formed_formula dbr:Free_variable dbc:Concepts_in_logic dbr:Metalanguage dbr:Tautology_(logic) dbr:Sequence dbr:Mathematical_logic dbr:Simply_typed_lambda_calculus dbr:Curry–Howard_correspondence dbr:Deduction_theorem dbr:Hilbert-style_deduction_system dbr:Logical_axiom
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Cite_journal dbt:Cite_SEP dbt:Other_uses dbt:Short_description
dct:subject	dbc:Proof_theory dbc:Logical_calculi dbc:Concepts_in_logic
rdfs:label	Judgment (mathematical logic) (en) Asserció lògica (ca) Aserción lógica (es) 逻辑断言 (zh)
owl:sameAs	freebase:Judgment (mathematical logic) yago-res:Judgment (mathematical logic) wikidata:Judgment (mathematical logic) dbpedia-zh:Judgment (mathematical logic) dbpedia-es:Judgment (mathematical logic) dbpedia-ca:Judgment (mathematical logic) dbpedia-global:Judgment (mathematical logic) dbr:Judgment (mathematical logic)
prov:wasDerivedFrom	wikipedia-en:Judgment_(mathematical_logic)?oldid=1233515510&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Judgment_(mathematical_logic)
is dbo:wikiPageDisambiguates of	dbr:Judgment_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Judgement_(mathematical_logic) dbr:Logical_assertion
is dbo:wikiPageWikiLink of	dbr:Natural_deduction dbr:Sequent_calculus dbr:Turnstile_(symbol) dbr:Typing_environment dbr:Typing_rule dbr:Judgment_(disambiguation) dbr:Hindley–Milner_type_system dbr:Type_theory dbr:Robert_Stalnaker dbr:Index_of_logic_articles dbr:Hilbert_system dbr:History_of_type_theory dbr:Sequent dbr:Structural_rule dbr:Speech_act dbr:Identity_type dbr:Judgement_(mathematical_logic) dbr:Logical_assertion
is foaf:primaryTopic of	wikipedia-en:Judgment_(mathematical_logic)