Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation

Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation

Saved in:
Bibliographic Details
Published in:Annals of pure and applied logic p. 103528
Main Authors: Fussner, Wesley, Galatos, Nikolaos
Format: Journal Article
Language:English
Published: 01-11-2024
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISSN:0168-0072
DOI:10.1016/j.apal.2024.103528