About: Intermediate logic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatSystemsOfFormalLogic, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/c/jVFADpRah

In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic; thus, consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic).

AttributesValues
rdf:type
rdfs:label
  • Intermediate logic (en)
  • 초직관 논리 (ko)
  • 中間論理 (ja)
  • Lógica intermediária (pt)
  • 中间逻辑 (zh)
rdfs:comment
  • In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic; thus, consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic). (en)
  • 논리학에서 초직관 논리(超直觀論理, 영어: superintuitionistic logic) 또는 중간 논리(中間論理, 영어: intermediate logic)는 직관 논리보다는 더 강하지만, 고전 논리보다 더 약한 논리 체계이다. (ko)
  • 中間論理 (英: Intermediate logic) は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。 この「中間」という意味は、直観主義論理での恒真な命題は中間論理でも恒真であり、古典論理で恒真でない命題は中間論理でも恒真でない、という意味である。 (ja)
  • Na lógica matemática, a lógica superintuicionista é a lógica proposicional estendendo a lógica intuicionista. Lógica clássica é a lógica superintuicionista consistente mais forte; assim, a lógica superintuicionista consistente é chamada de lógica intermediária (a lógica é intermediária entre lógica intuicionista e a lógica clássica). (pt)
  • 中介逻辑是在直觉主义逻辑和经典逻辑之间的中介，这是在它们包含在直觉主义逻辑中不可证明的定理，而又不等于的经典逻辑的意义上说的。这种逻辑也叫做超直觉主义或次经典逻辑。 有連續統的勢个不同的中介逻辑，通常是向直觉主义逻辑增加一个或多个公理而获得的。这种逻辑的例子有： * 直觉主义逻辑（IPC, Int, IL, H） * 经典逻辑（CPC, Cl, CL）：IPC + P ∨ ¬P * 弱排中律逻辑（KC, 逻辑，德·摩根定律逻辑）: IPC + ¬¬P ∨ ¬P * 哥德尔-逻辑（LC）：IPC + (P → Q) ∨ (Q → P) * -Putnam逻辑：IPC +(¬P →(Q ∨ R))→((¬P → Q) ∨ (¬P → R)) * 有限问题的逻辑 * 可实现性逻辑 * Scott逻辑：IPC + ((¬¬P → P) → (P ∨ ¬P)) →（¬¬P ∨ ¬P） * Smetanich逻辑：IPC + (¬Q → P) →（（(P → Q) → P）→ P） 研究中介逻辑的工具类似于直觉主义逻辑所使用的，比如Kripke语义。例如，Gödel-Dummett逻辑相对于线序的Kripke模型完全。 (zh)
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic; thus, consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic). (en)
  • 논리학에서 초직관 논리(超直觀論理, 영어: superintuitionistic logic) 또는 중간 논리(中間論理, 영어: intermediate logic)는 직관 논리보다는 더 강하지만, 고전 논리보다 더 약한 논리 체계이다. (ko)
  • 中間論理 (英: Intermediate logic) は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。 この「中間」という意味は、直観主義論理での恒真な命題は中間論理でも恒真であり、古典論理で恒真でない命題は中間論理でも恒真でない、という意味である。 (ja)
  • Na lógica matemática, a lógica superintuicionista é a lógica proposicional estendendo a lógica intuicionista. Lógica clássica é a lógica superintuicionista consistente mais forte; assim, a lógica superintuicionista consistente é chamada de lógica intermediária (a lógica é intermediária entre lógica intuicionista e a lógica clássica). (pt)
  • 中介逻辑是在直觉主义逻辑和经典逻辑之间的中介，这是在它们包含在直觉主义逻辑中不可证明的定理，而又不等于的经典逻辑的意义上说的。这种逻辑也叫做超直觉主义或次经典逻辑。 有連續統的勢个不同的中介逻辑，通常是向直觉主义逻辑增加一个或多个公理而获得的。这种逻辑的例子有： * 直觉主义逻辑（IPC, Int, IL, H） * 经典逻辑（CPC, Cl, CL）：IPC + P ∨ ¬P * 弱排中律逻辑（KC, 逻辑，德·摩根定律逻辑）: IPC + ¬¬P ∨ ¬P * 哥德尔-逻辑（LC）：IPC + (P → Q) ∨ (Q → P) * -Putnam逻辑：IPC +(¬P →(Q ∨ R))→((¬P → Q) ∨ (¬P → R)) * 有限问题的逻辑 * 可实现性逻辑 * Scott逻辑：IPC + ((¬¬P → P) → (P ∨ ¬P)) →（¬¬P ∨ ¬P） * Smetanich逻辑：IPC + (¬Q → P) →（（(P → Q) → P）→ P） 研究中介逻辑的工具类似于直觉主义逻辑所使用的，比如Kripke语义。例如，Gödel-Dummett逻辑相对于线序的Kripke模型完全。 (zh)
gold:hypernym
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
Faceted Search & Find service v1.17_git147 as of Sep 06 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 68 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software