Search Results - "Algebraic logic" :: K.UTB vyhledávací portál

Loading…

$AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC ${\mathscr {C}}_1$ AND SOME OF ITS PARACONSISTENT EXTENSIONS$

AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC ${\mathscr {C}}_1$ AND SOME OF ITS PARACONSISTENT EXTENSIONS

by ALBUQUERQUE, HUGO, CALEIRO, CARLOS
Published in The bulletin of symbolic logic (01.12.2022)

Get full text

Journal Article

Loading…

Quantum B-algebras: their omnipresence in algebraic logic and beyond

by Rump, Wolfgang
Published in Soft computing (Berlin, Germany) (01.05.2017)

Get full text

Journal Article

Loading…

Inconsistency lemmas in algebraic logic

by Raftery, James G.
Published in Mathematical logic quarterly (01.11.2013)

Get full text

Journal Article

Loading…

AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS

by ALBUQUERQUE, HUGO, CALEIRO, CARLOS
Published in The bulletin of symbolic logic (01.12.2022)

Get full text

Journal Article

Loading…

Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and π-institutions

by Galatos, Nikolaos, Gil-Férez, José
Published in Journal of pure and applied algebra (01.01.2017)

Get full text

Journal Article

Loading…

Applying APOS Theory to Enhance Algebraic Logic Skills: Comparing Traditional Teaching and Computer-Assisted Instruction

by Longe, Idowu Oluwaseun, Maharaj, Aneshkumar
Published in Indonesian journal of science and mathematics education (30.11.2023)

Get full text

Journal Article

Loading…

Extension Properties and Subdirect Representation in Abstract Algebraic Logic

by Lávička, Tomás, Noguera, Carles
Published in Studia logica (01.12.2018)

Get full text

Journal Article

Loading…

A brief history of Tarskian algebraic logic with new perspectives and innovations

by Ahmed, Tarek Sayed
Published in Bollettino della Unione matematica italiana (2008) (01.09.2020)

Get full text

Journal Article

Loading…

The semantic isomorphism theorem in abstract algebraic logic

by Moraschini, Tommaso
Published in Annals of pure and applied logic (01.12.2016)

Get full text

Journal Article

Loading…

De Finetti theorem and Borel states in [0, 1]-valued algebraic logic

by Kühr, Jan, Mundici, Daniele
Published in International journal of approximate reasoning (01.12.2007)

Get full text

Journal Article

Loading…

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic

by Lávička, Tomáš, Noguera, Carles
Published in Studia logica (01.06.2017)

Get full text

Journal Article

Loading…

On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results

by Ahmed, Tarek Sayed
Published in Bulletin of the Section of Logic (2021)

Get full text

Journal Article

Loading…

Categorical Abstract Algebraic Logic: Behavioral π-Institutions

by Voutsadakis, George
Published in Studia logica (01.06.2014)

Get full text

Journal Article

Loading…

Algebraic logic and topoi; a philosophical holistic approach

by Ahmed, Tarek Sayed
Published in International Journal of Algebra (2020)

Get full text

Journal Article

Loading…

A Note on Natural Extensions in Abstract Algebraic Logic

by Cintula, Petr, Noguera, Carles
Published in Studia logica (01.08.2015)

Get full text

Journal Article

Loading…

Categorical Abstract Algebraic Logic: Algebraic Semantics for (documentclass{article}usepackage{amssymb}begin{document}pagestyle{empty}$bf{pi }$end{document})-Institutions

by Voutsadakis, George
Published in Mathematical logic quarterly (01.05.2013)

Get full text

Journal Article

Loading…

Multi-posets in algebraic logic, group theory, and non-commutative topology

by Rump, Wolfgang
Published in Annals of pure and applied logic (01.11.2016)

Get full text

Journal Article

Loading…

Categorical Abstract Algebraic Logic: Wojcicki's Conjecture and Malinowski's Theorem

by Voutsadakis, George
Published in Reports on mathematical logic (2017)

Get full text

Journal Article

Loading…

The algebraic logic of kinship terminology structures

by Read, Dwight W.
Published in The Behavioral and brain sciences (01.10.2010)

Get full text

Journal Article

Loading…

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics

by Voutsadakis, George
Published in Bulletin of the Section of Logic (2018)

Get full text

Journal Article

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database