Bi-simulating in bi-intuitionistic logic
type: Item
instance of: scholarly article
title: Bi-simulating in bi-intuitionistic logic
zbMATH Open document ID: 1417.03125
author: Guillermo Badia
published in: Studia Logica
publication date: 2016-10-27T00:00:00Z
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 6644701
zbMATH Keywords: bi-intuitionistic logic
zbMATH Keywords: van Benthem's characterization theorem
zbMATH Keywords: directed bisimulations
zbMATH Keywords: model theory
MaRDI profile type: Publication
full work available at URL: s11225-016-9664-1
OpenAlex ID: W2290041791
cites work: Modal logic
cites work: Model theory for an extension of intuitionistic logic
cites work: Q4003410
cites work: Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
cites work: Simulating without Negation
cites work: On Extensions of Elementary Logic
cites work: Model Theory
cites work: Q4805593
cites work: On logics with coimplication
cites work: A formalization of the propositional calculus of H-B logic
cites work: Applications of Kripke models to Heyting-Brouwer logic
cites work: MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
cites work: Constructive negation, implication, and co-implication
DOI: 10.1007/S11225-016-9664-1
description: scientific article; zbMATH DE number 6644701