An algebraic approach to non-classical logics

Provability, Computability and Reflection.

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/1856847#Topic/algebraic_logic
http://experiment.worldcat.org/entity/work/data/1856847#Topic/matematica_filosofia
http://experiment.worldcat.org/entity/work/data/1856847#Topic/algebre_booleenne
http://experiment.worldcat.org/entity/work/data/1856847#Topic/algebre_pseudo_booleenne
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logique_multivaluee
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/1856847#Topic/algebre_implicative
http://experiment.worldcat.org/entity/work/data/1856847#Topic/calcul_propositionnel
http://experiment.worldcat.org/entity/work/data/1856847#Topic/algebre_post
http://id.loc.gov/authorities/subjects/sh85092240
http://experiment.worldcat.org/entity/work/data/1856847#Topic/proof_theory
http://experiment.worldcat.org/entity/work/data/1856847#Topic/nichtklassische_logik
http://experiment.worldcat.org/entity/work/data/1856847#Topic/algebra_och_logik
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logique_algebrique
http://experiment.worldcat.org/entity/work/data/1856847#Topic/calcul_predicat_premier_ordre
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logique_positive
http://experiment.worldcat.org/entity/work/data/1856847#Topic/algebra_booleana
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logic
http://experiment.worldcat.org/entity/work/data/1856847#Topic/modality_logic
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logica_simbolica
http://id.loc.gov/authorities/subjects/sh85003435
http://experiment.worldcat.org/entity/work/data/1856847#Topic/algebra
http://experiment.worldcat.org/entity/work/data/1856847#Topic/mathematische_logik
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logic_symbolic_and_mathematical
http://experiment.worldcat.org/entity/work/data/1856847#Topic/matematikai_logika
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logique_mathematique_non_classique
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logique_minimale
http://id.worldcat.org/fast/1038606
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logique_modale
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logic_symbolic_and_mathematical_periodicals
http://experiment.worldcat.org/entity/work/data/1856847#Topic/algebre_quasi_pseudobooleenne
http://experiment.worldcat.org/entity/work/data/1856847#Topic/treillis
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logica_algebraica
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logique_intuitionniste
http://id.worldcat.org/fast/804936
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logica_matematica_no_clasica
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logika_algebraiczna
http://experiment.worldcat.org/entity/work/data/1856847#Topic/philosophy_logic
http://experiment.worldcat.org/entity/work/data/1856847#Topic/logique_constructive
http://id.worldcat.org/fast/1002068

http://schema.org/author

http://worldcat.org/entity/person/id/2678097431
http://worldcat.org/entity/person/id/2634121039

http://schema.org/contributor

http://worldcat.org/entity/person/id/2634121039

http://schema.org/creator

http://worldcat.org/entity/person/id/2634121039
http://worldcat.org/entity/person/id/2678097431
http://worldcat.org/entity/person/id/2727606240

http://schema.org/description

"Preliminary set-theoretical, topological and algebraic notions. Topological spaces. Ordered sets and quasi-ordered sets. Implicative algebras. definition and elementary properties. Positive implication algebras. Implicative filters in positive implication algebras. Distributive lattices and quasi-boolean algebras. Distributive lattices. Quasi-boolean algebras. Relatively pseudo-complemented lattices, contrapositionally complemented lattices, semi-complemented laticies and pseudo-boolean algebras. Quasi-pseudo-boolean algebras. Boolean algebras and topological boolean algebras. Post algebras. Implicative extensional propositional calculi. Positive implicative logic and classical implicative logic."
"Provability, Computability and Reflection."@en

http://schema.org/name

"An algebraic approach to non-classical logics"
"An algebraic approach to non-classical logics"@en
"An algebraic approach to non-classical logics"@pl
"An Algebraic approach to non-classical logics"

http://schema.org/workExample

http://www.worldcat.org/oclc/897403664
http://www.worldcat.org/oclc/844389717
http://www.worldcat.org/oclc/299344145
http://www.worldcat.org/oclc/488707126
http://www.worldcat.org/oclc/709658827
http://www.worldcat.org/oclc/960963
http://www.worldcat.org/oclc/185773680
http://www.worldcat.org/oclc/780702684
http://www.worldcat.org/oclc/432758206
http://www.worldcat.org/oclc/801860456
http://www.worldcat.org/oclc/318330011
http://www.worldcat.org/oclc/838805481
http://www.worldcat.org/oclc/428097346
http://www.worldcat.org/oclc/251859754
http://www.worldcat.org/oclc/797327475
http://www.worldcat.org/oclc/469363855
http://www.worldcat.org/oclc/60082245
http://www.worldcat.org/oclc/749577703
http://www.worldcat.org/oclc/641906720
http://www.worldcat.org/oclc/439117246
http://www.worldcat.org/oclc/785734341
http://www.worldcat.org/oclc/16988967
http://www.worldcat.org/oclc/915514
http://www.worldcat.org/oclc/463041528
http://www.worldcat.org/oclc/813227144
http://www.worldcat.org/oclc/641906721

Algebra.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Algebra."