Search Results - "Categorical logic"

1

Abstract logical structuralism

by Jean-Pierre Marquis
Published 2020-12-01
Subjects: “...categorical logic...”

Get full text

Article
2

The homunculus brain and categorical logic

by Steve Awodey, Michał Heller
Published 2020-12-01
Subjects: “...categorical logic...”

Get full text

Article
3

Lógica de topos e aplicações

by Cahali, Arthur Francisco Schwerz
Published 2019
Subjects: “...Categorical logic...”

Get full text

Others
4

Syntax-Semantics Interaction in Mathematics

by Michael Heller
Published 2019-05-01
Subjects: “...categorical logic...”

Get full text

Article
5

Sheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem

by Aratake, Hisashi
Published 2021
Subjects: “...categorical logic...”

Get full text

Doctoral Thesis
6

Teoria kategorii i niektóre jej logiczne aspekty

by Mariusz Stopa
Published 2018-07-01
Subjects: “...categorical logic...”

Get full text

Article
7

Topics in Many-valued and Quantum Algebraic Logic

by Lu, Weiyun
Published 2016
Subjects: “...categorical logic...”

Get full text
Get full text
8

On the validity of the definition of a complement-classifier

by Mariusz Stopa
Published 2020-12-01
Subjects: “...categorical logic...”

Get full text

Article
9

Sémantique algébrique des ressources pour la logique classique

by Novakovic, Novak
Published 2011
Subjects: “...Categorical logic...”

Get full text
10

Puissance expressive des preuves circulaires

by Fortier, Jerome
Published 2014
Subjects: “...Categorical logic...”

Get full text
11

Analyse de la structure logique des inférences légales et modélisation du discours juridique

by Peterson, Clayton
Published 2014
Subjects: “...Categorical logic...”

Get full text