3 |
Deep Inference in Bi-intuitionistic Logic
|
|
|
|
In: Deep Inference in Bi0 ; http://www.informatik.uni-trier.de/~ley/db/conf/wollic/ (2015)
|
|
BASE
|
|
Show details
|
|
4 |
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01071642 ; IfColog Journal of Logics and their Applications (FLAP), College Publications, 2014, 1 (1), pp.53-94 ; http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf (2014)
|
|
BASE
|
|
Show details
|
|
5 |
Sexuated Topology and the Suspension of Meaning: A Non-Hermeneutical Phenomenological Approach to Textual Analysis
|
|
|
|
BASE
|
|
Show details
|
|
9 |
On an algebra of linguistic truth-valued intuitionistic lattice-valued logic
|
|
|
|
BASE
|
|
Show details
|
|
10 |
On an algebra of linguistic truth-valued intuitionistic lattice-valued logic
|
|
|
|
BASE
|
|
Show details
|
|
|
|