About: Universal logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Universal logic Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FUniversal_logic

Originally the expression Universal logic was coined by analogy with the expression Universal algebra. The first idea was to develop Universal logic as a field of logic that studies the features common to all logical systems, aiming to be to logic what Universal algebra is to algebra. A number of approaches to universal logic in this sense have been proposed since the twentieth century, using model theoretic, and categorical approaches. But then the Univeral Logic Project developed as a general universal logic project including this mathematical project but also many other logical activities (Congresses, Journals, Books Series, Encyclopedia, Logic Prizes, Webinar, YouTube Channel).

Attributes	Values
rdfs:label	Lógica universal (pt) Universal logic (en)
rdfs:comment	Originally the expression Universal logic was coined by analogy with the expression Universal algebra. The first idea was to develop Universal logic as a field of logic that studies the features common to all logical systems, aiming to be to logic what Universal algebra is to algebra. A number of approaches to universal logic in this sense have been proposed since the twentieth century, using model theoretic, and categorical approaches. But then the Univeral Logic Project developed as a general universal logic project including this mathematical project but also many other logical activities (Congresses, Journals, Books Series, Encyclopedia, Logic Prizes, Webinar, YouTube Channel). (en) A lógica universal é o campo da lógica, que estuda características comuns de todos os sistemas lógicos, apontando ser para a lógica o que a álgebra universal é para a álgebra. Um número de abordagens para a lógica universal têm sido propostos desde o século vinte, usando o modelo teórico e abordagens categóricas. (pt)
dcterms:subject	Logic
Wikipage page ID	3659669 (xsd:integer)
Wikipage revision ID	1080854953 (xsd:integer)
Link from a Wikipage to another Wikipage	Rod Burstall Saul Kripke Logic Joseph Goguen Richard Sylvan David Makinson Institution (computer science) Universal algebra Crete Model theoretic Conceptions of logic Lisbon, Portugal Logic Jon Barwise Logica Universalis Alfred Tarski Algebra Editing Jaakko Hintikka Istanbul, Turkey Abstract algebraic logic Abstract model theory Jean-Yves Béziau Dov Gabbay Monographic series Springer Science+Business Media Category theory Sketch (mathematics) Xi'an, China Rio de Janeiro, Brazil Topological dbr:Ross_Brady Vichy, France Relevant logic Montreux, Switzerland dbr:Birkhäuser_Basel
Link from a Wikipage to an external page	https://www.springer.com/birkhauser/mathematics/journal/11787 http://sites.google.com/view/unilog-2022 http://www.uni-log.org/enter-istanbul http://www.uni-log.org/enter-lisbon http://www.uni-log.org/enter-rio http://www.uni-log.org/enter2.html http://www.uni-log.org/one1.html http://www.uni-log.org/vichy2018
sameAs	Universal logic Universal logic Universal logic Universal logic
dbp:wikiPageUsesTemplate	dbt:About dbt:Reflist dbt:Short_description
has abstract	Originally the expression Universal logic was coined by analogy with the expression Universal algebra. The first idea was to develop Universal logic as a field of logic that studies the features common to all logical systems, aiming to be to logic what Universal algebra is to algebra. A number of approaches to universal logic in this sense have been proposed since the twentieth century, using model theoretic, and categorical approaches. But then the Univeral Logic Project developed as a general universal logic project including this mathematical project but also many other logical activities (Congresses, Journals, Books Series, Encyclopedia, Logic Prizes, Webinar, YouTube Channel). (en) A lógica universal é o campo da lógica, que estuda características comuns de todos os sistemas lógicos, apontando ser para a lógica o que a álgebra universal é para a álgebra. Um número de abordagens para a lógica universal têm sido propostos desde o século vinte, usando o modelo teórico e abordagens categóricas. (pt)
gold:hypernym	Field
prov:wasDerivedFrom	wikipedia-en:Universal_logic?oldid=1080854953&ns=0
page length (characters) of wiki page	6257 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Universal_logic
is Link from a Wikipage to another Wikipage of	Olog Joseph Goguen Index of logic articles Institution (computer science) International Society for the Interdisciplinary Study of Symmetry Conceptions of logic Logica Universalis Brian R. Gaines Knowledge retrieval Abstract algebraic logic Jean-Yves Béziau
is discipline of	Logica Universalis
is academic discipline of	Logica Universalis
is foaf:primaryTopic of	wikipedia-en:Universal_logic

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software