Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International