Browsing Bulletin of the Section of Logic 54/4 (2025) by Subject

Now showing items 1-20 of 21

Subject
agent-knowledge logic [1]
category theory [1]
consequence relation [1]
definite descriptions (generic, incomplete, nested, Haddock, predicative) [1]
epistemic logic [1]
hybrid logic [1]
identity [1]
intuitionistic logic [1]
Lambek calculus [2]
modal logic [1]
non-associative Lambek calculus [1]
non-commutative logics [1]
nonassociative logics [1]
nonlogical axioms [1]
proof-theoretic semantics [1]
skew monoidal category [1]
substructural logic [1]
substructural logics [1]
tableau calculus [1]
ternary relational semantics [1]