io-port.net

io-port 05378863 Olson, J.S.; Raftery, J.G.; van Alten, C.J.

Structural completeness in substructural logics. (English)

Log. J. IGPL 16, No. 5, 453-495 (2008).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05494768 Dzik, Wojciech; Orłowska, Ewa; van Alten, Clint

Relational representation theorems for lattices with negations: A survey. (English)

de Swart, Harrie (ed.) et al., Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002‒2005. Selected revised papers. Berlin: Springer (ISBN 978-3-540-69223-2/pbk). Lecture Notes in Computer Science 4342. Lecture Notes in Artificial Intelligence, 245-266 (2006).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05267653 Dzik, Wojciech; Orlowska, Ewa; van Alten, Clint

Relational representation theorems for general lattices with negations. (English)

Schmidt, Renate A. (ed.), Relations and Kleene algebra in computer science. 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37873-0/pbk). Lecture Notes in Computer Science 4136, 162-176 (2006).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05068043 van Alten, C.J.

On varieties of biresiduation algebras. (English)

Stud. Log. 83, No. 1-3, 425-445 (2006).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70470497 Dzik, Wojciech; Orlowska, Ewa; Van Alten, Clint J.

Relational representation theorems for lattices with negations: A survey (English)

Theory and Applications of Relational Structures as Knowledge Instruments, 245-266 (2006).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70470712 Dzik, Wojciech; Orlowska, Ewa; Van Alten, Clint J.

Relational representation theorems for general lattices with negations (English)

RelMiCS, 162-176 (2006).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05004789 van Alten, C.J.

The finite model property for knotted extensions of propositional linear logic. (English)

J. Symb. Log. 70, No. 1, 84-98 (2005).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50168133 Van Alten, Clint J.

The finite model property for knotted extensions of propositional linear logic (English)

J. Symb. Log. 70, No. 1, 84-98 (2005).

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02082009 van Alten, Clint J.; Raftery, James G.

Rule separation and embedding theorems for logics without weakening. (English)

Stud. Log. 76, No. 2, 241-274 (2004).

Reviewer: Osamu Sonobe (Follonica)

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02158809 Blok, W.J.; van Alten, C.J.

The finite embeddability property for residuated lattices, pocrims and BCK-algebras. (English)

Algebra Univers. 48, No. 3, 253-271 (2002).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01660932 Blok, W.J.; van Alten, C.J.

On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. (English)

Rep. Math. Logic 34, 159-165 (2000).

11

PDF XML AMS-TeX TEXT BIBTeX

io-port 01420292 van Alten, C.J.; Raftery, J.G.

The finite model property for the implicational fragment of IPC without exchange and contraction. (English)

Stud. Log. 63, No.2, 213-222 (1999).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01415870 van Alten, C.J.; Raftery, J.G.

On quasivariety semantics of fragments of intuitionistic propositional logic without exchange and contraction rules. (English)

Rep. Math. Logic 31, 3-55 (1997).

13

PDF XML AMS-TeX TEXT BIBTeX