About: Constructive logic

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Constructive logic Sponge Permalink

An Entity of Type : Systems of formal logic, within Data Space : lod.openlinksw.com
QRcode image

Attributes	Values
is Property:Rdf:subject of	http://yago-knowledge.org/resource/#fact_2311089310 http://yago-knowledge.org/resource/#fact_2311089358 http://yago-knowledge.org/resource/#fact_2311089290 http://yago-knowledge.org/resource/#fact_2311089302 http://yago-knowledge.org/resource/#fact_2311089314 http://yago-knowledge.org/resource/#fact_2311089322 http://yago-knowledge.org/resource/#fact_2311089342 http://yago-knowledge.org/resource/#fact_2311089350 http://yago-knowledge.org/resource/#fact_2311089362 http://yago-knowledge.org/resource/#fact_2311089370 http://yago-knowledge.org/resource/#fact_2311089378 http://yago-knowledge.org/resource/#fact_2311089298 http://yago-knowledge.org/resource/#fact_2311089334 http://yago-knowledge.org/resource/#fact_23153113891 http://yago-knowledge.org/resource/#fact_23150854395 http://yago-knowledge.org/resource/#fact_23153648815 http://yago-knowledge.org/resource/#fact_23161773723 http://yago-knowledge.org/resource/#fact_2311089338 http://yago-knowledge.org/resource/#fact_23150517539 http://yago-knowledge.org/resource/#fact_23153648811
type	Systems of formal logic
sameAs	Intuitionistic logic
label	Intuitionistic logic Constructive logic Constructivist logic Intuitionist logic Intuitionistic Prop Calc Intuitionistic propositional calculus Intuitionistic Logic
http://yago-knowle...resource/isCalled	Интуиционистское исчисление высказываний 直觉主义逻辑直観論理 Lógica intuicionista Logique intuitionniste Logica intuizionista Intuicionistická logika Logika intuicjonistyczna Intuitionistisk logik
http://yago-knowle.../hasPreferredName	Intuitionistic logic
http://yago-knowle...e/hasWikipediaUrl	http://en.wikipedia.org/wiki/Intuitionistic_logic
http://yago-knowle...sPreferredMeaning	Intuitionistic logic

This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 06.03.3131, on Linux (x86_64-generic-linux-glibc25-64), Cluster Edition(8 server processes)
Copyright © 2009-2011 OpenLink Software