Standard

Maximality of bi-intuitionistic propositional logic. / Olkhovikov, Grigory; Badia, Guillermo.
In: Journal of Logic and Computation, Vol. 32, No. 1, 01.2022, p. 1-31.

Research output: Contribution to journal › Article › peer-review

Harvard

Olkhovikov, G & Badia, G 2022, 'Maximality of bi-intuitionistic propositional logic', Journal of Logic and Computation, vol. 32, no. 1, pp. 1-31. https://doi.org/10.1093/logcom/exab058

APA

Olkhovikov, G., & Badia, G. (2022). Maximality of bi-intuitionistic propositional logic. Journal of Logic and Computation, 32(1), 1-31. https://doi.org/10.1093/logcom/exab058

Vancouver

Olkhovikov G, Badia G. Maximality of bi-intuitionistic propositional logic. Journal of Logic and Computation. 2022 Jan;32(1):1-31. doi: 10.1093/logcom/exab058

Author

Olkhovikov, Grigory ; Badia, Guillermo. / Maximality of bi-intuitionistic propositional logic. In: Journal of Logic and Computation. 2022 ; Vol. 32, No. 1. pp. 1-31.

BibTeX

@article{77c924122d5843368e59b8f9bb7e8de7,
title = "Maximality of bi-intuitionistic propositional logic",
keywords = "Lindstrom theorem, bi-intuitionistic logic, abstract model theory, bi-asimulations, EXTENSIONS, CUT, Lindstr{\"o}m theorem",
author = "Grigory Olkhovikov and Guillermo Badia",
year = "2022",
month = jan,
doi = "10.1093/logcom/exab058",
language = "English",
volume = "32",
pages = "1--31",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "1",

}

RIS

TY - JOUR

T1 - Maximality of bi-intuitionistic propositional logic

AU - Olkhovikov, Grigory

AU - Badia, Guillermo

PY - 2022/1

Y1 - 2022/1

KW - Lindstrom theorem

KW - bi-intuitionistic logic

KW - abstract model theory

KW - bi-asimulations

KW - EXTENSIONS

KW - CUT

KW - Lindström theorem

UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000744750400001

UR - http://www.scopus.com/inward/record.url?scp=85134367148&partnerID=8YFLogxK

U2 - 10.1093/logcom/exab058

DO - 10.1093/logcom/exab058

M3 - Article

VL - 32

SP - 1

EP - 31

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 1

ER -

ID: 29479282