Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
Love My Data 11 - 15 Mar 2024
Statistics
Help
User Guide
FAQ
Publication list
Document types
Training
Legal Information
Data protection
Legal notices
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Back
Home
Detailled Reference
Download
Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)
Modal extensions of Ł_n-valued logics, coalgebraically
Kurz, Alexander
;
Teheux, Bruno
;
Bílková, Marta
2017
•
Topology, Algebra and Categories in Logic - TACL 2017
Permalink
https://hdl.handle.net/10993/31753
Files (1)
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
TACL_2017_paper_87.pdf
Publisher postprint (290.98 kB)
Abstract
Download
All documents in ORBilu are protected by a
user license
.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
Details
Keywords :
modal logic; Łukasiewicz logic; coalgebras
Disciplines :
Mathematics
Author, co-author :
Kurz, Alexander;
University of Leicester > Department of Informatics
Teheux, Bruno
;
University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit
Bílková, Marta;
Czech Academy of Sciences > Institute of Computer Science
External co-authors :
yes
Language :
English
Title :
Modal extensions of Ł_n-valued logics, coalgebraically
Publication date :
2017
Event name :
Topology, Algebra and Categories in Logic - TACL 2017
Event organizer :
Institute of Computer Science, Czech Academy of Sciences and Faculty of Arts, Charles University
Event place :
Prague, Czechia
Event date :
from 2017-06-26 to 2017-06-30
Available on ORBilu :
since 18 July 2017
Statistics
Number of views
63 (1 by Unilu)
Number of downloads
54 (5 by Unilu)
More statistics
Bibliography
Similar publications
Contact ORBilu