On Intuitionistic Logic with a Quantum Modal Operator

Sonja Smets

On Intuitionistic Logic with a Quantum Modal Operator

Sonja Smets

Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

Abstract

Original language	English
Title of host publication	Collection of Abstracts of the "dag van de jonge Onderzoekers", Belgisch genoodschap voor navorsing in de logica.
Publication status	Published - 2003

Publication series

Name	Collection of Abstracts of the "dag van de jonge Onderzoekers", Belgisch genoodschap voor navorsing in de logica.

Keywords

quantum logic

Handle.net

Persistent link

Cite this

@inbook{87e73a1f33bf4affbb7262a9ec1774af,

title = "On Intuitionistic Logic with a Quantum Modal Operator",

abstract = "\textbackslash{}",

keywords = "quantum logic",

author = "Sonja Smets",

year = "2003",

language = "English",

series = "Collection of Abstracts of the {"}dag van de jonge Onderzoekers{"}, Belgisch genoodschap voor navorsing in de logica.",

booktitle = "Collection of Abstracts of the {"}dag van de jonge Onderzoekers{"}, Belgisch genoodschap voor navorsing in de logica.",

}

On Intuitionistic Logic with a Quantum Modal Operator. / Smets, Sonja.
Collection of Abstracts of the "dag van de jonge Onderzoekers", Belgisch genoodschap voor navorsing in de logica.. 2003. (Collection of Abstracts of the "dag van de jonge Onderzoekers", Belgisch genoodschap voor navorsing in de logica.).

Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

TY - CHAP

T1 - On Intuitionistic Logic with a Quantum Modal Operator

AU - Smets, Sonja

PY - 2003

Y1 - 2003

N2 - \

AB - \

KW - quantum logic

M3 - Meeting abstract (Book)

T3 - Collection of Abstracts of the "dag van de jonge Onderzoekers", Belgisch genoodschap voor navorsing in de logica.

BT - Collection of Abstracts of the "dag van de jonge Onderzoekers", Belgisch genoodschap voor navorsing in de logica.

ER -

On Intuitionistic Logic with a Quantum Modal Operator

Abstract

Publication series

Keywords

Handle.net

Fingerprint

Cite this