Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "deduction" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 61
Tytuł:
The Issue of the Execution of the Penalty of Restriction of Liberty in the Form of Deduction of Part of the Remuneration
Z problematyki wykonywania kary ograniczenia wolności w postaci potrącenia części wynagrodzenia
Autorzy:
Baran-Wesołowska, Beata
Powiązania:
https://bibliotekanauki.pl/articles/3200756.pdf
Data publikacji:
2023-04-03
Wydawca:
Wyższa Szkoła Humanitas
Tematy:
execution of the sentence
restriction of liberty
deduction
convicted
wykonanie kary
ograniczenie wolności
potrącenie
skazany
Opis:
The article presents the issues related to the execution of the penalty of restriction of liberty in the form of a deduction from the remuneration. The publication analyses the notional and subjective aspects, as well as selected procedural issues.
Artykuł przedstawia problematykę związaną z wykonaniem kary ograniczenia wolności w formie potrącenia z wynagrodzenia. Analizie został poddany aspekt pojęciowy, podmiotowy, a także problematyka wybranych zagadnień proceduralnych.
Źródło:
Roczniki Administracji i Prawa; 2022, 4(XXII); 195-207
1644-9126
Pojawia się w:
Roczniki Administracji i Prawa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rozumowanie dedukcyjne w procesie uczenia się języka niemieckiego jako drugiego języka obcego na przykładzie podsystemu gramatycznego
Deductive reasoning in the learning process of German as a second foreign language based on example of grammatical subsystem
Autorzy:
Bawej, Izabela
Powiązania:
https://bibliotekanauki.pl/articles/16465404.pdf
Data publikacji:
2022-04-27
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu. Collegium Novum. Polskie Towarzystwo Neofilologiczne
Tematy:
deduction
strategies
transfer
English
German
grammar
dedukcja
strategie
angielski
niemiecki
gramatyka
Opis:
The role of the first foreign language in second foreign language learning is an interesting research question. The main purpose of the research was to relate if and how the learners make deductions about German grammar based on English language skills. Therefore, this study presents the results of a survey conducted among students of Applied Linguistics who learn German after English. Participants were interviewed to state their opinion about the usefulness of English in learning German structures. The results of this inquiry allow the conclusions that learners use and transfer the previously acquired knowledge and information from what they have in first foreign language in order to understand, learn or form structures in the second foreign language. They compare both languages, look for similarities in the creation of the construction and the application of the structures or constructions, conclude by analogies between English and German in grammatical subsystem. In this way they deduce that English makes possible and facilitates to memorize grammatical forms while learning German, e.g. passive voice, articles, tenses, irregular verbs, comparative and superlative adjectives.
Źródło:
Neofilolog; 2022, 58/1; 85-98
1429-2173
Pojawia się w:
Neofilolog
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Główne podejścia oraz metody i techniki badania procesów zarządzania organizacjami
Main approaches, methods and techniques of the management process research
Autorzy:
Bieniok, H.
Powiązania:
https://bibliotekanauki.pl/articles/324260.pdf
Data publikacji:
2018
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
analiza
synteza
indukcja
dedukcja
klasyczne podejścia badawcze
procedury badawcze
metoda diagnostyczna
metoda prognostyczna
analysis
synthesis
induction
deduction
classical research approaches
research procedure
diagnostic method
prognostic methods
Opis:
Autor zaprezentował tylko w zarysie podstawowe założenia metod badawczych stosowanych we wszelkich badaniach organizatorskich. Są one niestety mało znane, w związku z czym większość badań podejmowanych w naukach o zarządzaniu ma charakter płytki i niedokończony. Autorzy takich badań poprzestają na ogół tylko na zastosowaniu socjologicznych technik zbierania informacji takich jak ankieta, a przecież jest to dopiero połowa całego procesu badawczego. Brakuje im całej części analityczno-projektowej, którą silnie akcentuje prezentowana w opracowaniu metoda diagnostyczna.
In the paper there is a sketch of a foundation for assumptions of research methods used in any organization research. The assumptions are not so well-known which effects in the fact that the most of organization research is not deep and not completed. The authors of such organization research used to apply only the sociological techniques, such as a survey technique. Nevertheless, it is not only a half of the whole research procedure. There is a lack of the analytical part and the design which are the elements of the presented diagnostic method.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2018, 120; 15-34
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Linguistics and philosophy: the dimensions of the 21st century
Autorzy:
Biskub, Iryna
Powiązania:
https://bibliotekanauki.pl/articles/462660.pdf
Data publikacji:
2018
Wydawca:
Państwowa Wyższa Szkoła Zawodowa w Chełmie
Tematy:
linguistics
philosophy
induction
deduction
categorization
software discourse
lingwistyka
filozofia
indukcja
dedukcja
kategoryzacja
dyskurs programowy
Opis:
The article highlights the new dimensions for the integral interaction between linguistics and philosophy in the 21st century. Starting from the philosophical conceptions of B. Russel and L Wittgenstein the question of how to acquire the linguistic knowledge – by experience or reasoning – still brings about scientific debate. In the present paper we give reasons to the idea that philosophy based on language analysis is one thing; the basing of language analysis on philosophy is quite another. Modern applications of the linguistic analysis based on the use of philosophical methods and categories are suggested; the choice of language means for the effective human-computer interaction via graphical user interfaces of computer software is one of them. The main focus of the article is explaining the mechanisms of formal inductive modeling and deductive reasoning that are involved in selecting appropriate language means for the software discourse. Special attention is given to linguistic categorization that serves as a bridge between deductive reasoning and formal inductive modeling.
Artykuł przedstawia nowe kierunki zintegrowanego badania nad językiem w filozofii XXI wieku. Poczynając od filozoficznych koncepcji Russela i Wittgensteina, do dziś kontynuuje się debatę naukową poświęconą problematyce determinacji znaczenia lingwistycznego – przez doświadczenie lub myślenie. W artykule podjęto próbę wykazania, że filozofia oparta na analizie językowej - to jedno, zaś analiza językowa wywodząca się z filozofii – to zupełnie coś innego. Artykuł proponuje nowoczesną analizę opartą na wykorzystaniu filozoficznych metod i kategorii; jedną z kwestii jest wybór narzędzi językowych w celu skutecznej komunikacji człowiek-komputer za pomocą interfejsu graficznego. Badanie koncentruje się na wyjaśnieniu metod formalnego modelowania indukcyjnego i wnioskowania dedukcyjnego. Powyżej wspomniane metody są wykorzystane w procesie wyboru odpowiednich narzędzi językowych dla oprogramowania komputerowego. Szczególną uwagę zwraca się na kategoryzację językową, która służy jako pomost między wnioskowaniem dedukcyjnym a formalnym modelowaniem indukcyjnym.
Źródło:
Language. Culture. Politics. International Journal; 2018, 1; 7-18
2450-3576
2719-3217
Pojawia się w:
Language. Culture. Politics. International Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Autorzy:
Braüner, Torben
Powiązania:
https://bibliotekanauki.pl/articles/2142755.pdf
Data publikacji:
2022-01-07
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
hybrid logic
natural deduction systems
sequent systems
normalization
cut-elimination
analycity
Opis:
This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that nonlabelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 2; 143-162
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Odliczenie podatku naliczonego a pokrzywdzenie oszustwem podatkowym – w świetle przepisów krajowych i prawa europejskiego
Input tax deduction and tax fraud – in the light of national and European law
Autorzy:
Charkiewicz, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/28762929.pdf
Data publikacji:
2023-09-27
Wydawca:
Instytut Studiów Podatkowych Modzelewski i wspólnicy
Tematy:
odliczenie podatku
korekta deklaracji
oszustwo podatkowe
pokrzywdzony
prawo europejskie
tax deduction
tax adjustment
tax fraud
expenses
European law
Opis:
W artykule autor porusza problematykę odmowy przez organ podatkowy możliwości odliczenia podatku naliczonego przedsiębiorcy pokrzywdzonemu oszustwem podatkowym stwierdzonym prawomocnym wyrokiem sądu karnego. Stosowanie w takiej sytuacji normy z art. 86 ust. 13 ustawy z dnia 11 marca 2004 r. o podatku od towarów i usług1 stoi w sprzeczności z dyrektywą Rady 2006/112/WE z dnia 28 listopada 2006 r. w sprawie wspólnego systemu podatku od wartości dodanej2. Odmowa odliczenia jest wyjątkiem od zasady, a organ podatkowy powinien każdorazowo wskazać obiektywne przesłanki, ze względu na które odmawia podatnikowi prawa do odliczenia podatku. Zgodnie z orzecznictwem europejskim prawo do odliczenia nie może być ograniczane żadnymi warunkami czy limitami czasowymi. Przepisy krajowe z kolei powinny być stosowane tak, aby zapewnić skuteczność stosowania norm prawa Unii Europejskiej (UE) w sposób pełny. Nie można czynić zarzutu i „karać” podatnika brakiem możliwości złożenia skutecznych korekt i stwierdzenia nadpłaty za to, że de facto został pokrzywdzony przestępstwem i oszukany przez przestępcę (przestępcę skarbowego).
The article discusses the issue of the tax authority’s refusal to deduct the input tax charged to an entrepreneur injured by tax fraud confirmed by a final judgment of a criminal court. In such a situation, the application of Art. 86 sec. 13 of the Act of 11 March 2004 on tax on goods and services (i.e. Journal of Laws of 2023, item 1570, hereinafter referred to as the VAT Act) is inconsistent with Directive 2006/112/EC. Refusal to deduct is an exception to principles, and the tax authority should each time indicate the objective reasons for which it refuses the taxpayer the right to deduct tax.According to European jurisprudence, the right to deduct may not be limited by any conditions or time limits. It is not possible to accuse and „punish” the taxpayer for the lack of possibility to submit effective corrections and establish an overpayment for de facto having been harmed by a crime and defrauded by a criminal (fiscal criminal).
Źródło:
Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych; 2023, 9(325); 51-56
1427-2008
2449-7584
Pojawia się w:
Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Potrącenie umowne w prawie polskim
Autorzy:
Chyla, Łukasz
Barańska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/617354.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
contractual deduction
statutory deduction regime
potrącenie umowne
potrącenie ustawowe
Opis:
The subject matter of this paper concerns a marginalised in Polish academic literature issue of contractual deduction. The above-mentioned issue does not stem from the rules regarding statutory deduction regime, but from the principle of freedom of contract. The content of this study encompasses the premises for applicability of contractual deduction, namely: (1) the reciprocity of enforced claims and homogeneity of receivables; and (2) the topic of enforceability and voidability of claims. Prohibitions of deductions enshrined in Article 504 and Article 505 of the Polish Civil Code have been analysed as well. In the further part, the paper focuses upon on consequences caused by set-off agreement, including discrepancies specific to compensations concerning future receivables. The problem of admissibility of conversion of one type of deduction into another type has also been touched upon. The final part of the paper contains discussion of various kinds of contractual compensations, i.e. constant and one-off compensations.
Tematem niniejszego artykułu jest marginalizowane w polskim piśmiennictwie zagadnienie potrącenia umownego, którego podstaw należy upatrywać w zasadzie swobody umów, a nie w regulacji dotyczącej potrącenia ustawowego. W treści opracowania omówione zostały przesłanki jego stosowania, takie jak wzajemność egzekwowanych roszczeń, jednorodność wierzytelności oraz kwestia ich wymagalności i zaskarżalności. Analizie poddane zostały również zakazy potrąceń przewidziane w art. 504 i 505 Kodeksu cywilnego. W dalszej części pracy uwaga została zwrócona na skutki, jakie wywiera umowa potrącenia, z uwzględnieniem odrębności problematyki kompensat wierzytelności przyszłych. Artykuł dotyczy także problematyki dopuszczalności konwersji jednego typu potrącenia w drugi. Na zakończenie omówiono rodzaje kompensat umownych: stałe i jednorazowe.
Źródło:
Studenckie Zeszyty Naukowe; 2017, 20, 33
1506-8285
Pojawia się w:
Studenckie Zeszyty Naukowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Różne rodzaje myślenia w rozwiązywaniu problemów matematycznych
Autorzy:
Ciosek, Marianna
Ratusinski, Tadeusz
Turnau, Stefan
Powiązania:
https://bibliotekanauki.pl/articles/749350.pdf
Data publikacji:
2017
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
thinking, empiricism, intuition, deduction, induction, solution, visualization, spreadsheet, computer.
Opis:
W artykule zamieszczono siedem autentycznych rozumowań, uzyskanych oduczniów szkoły średniej oraz studenta studiów doktoranckich z matematykiw wyniku obserwacji ich pracy nad rozwiązaniem zadania. Każda z tych osóbrozwiązywała jedno z czterech zadań, wśród których jedno to standardowezadanie z geometrii analitycznej, a trzy pozostałe to zadania otwarte – każdeo innej strukturze logicznej. Opisane rozumowania są analizowane przezpryzmat wprowadzonej przez Profesor Zofię Krygowską typologii rodzajówmyślenia matematycznego, w której wyróżnia się: wnioskowanie empiryczne,rozumowanie intuicyjne oraz rozumowanie formalne. W komentarzach do rozumowańuwzględniane są także wyniki rozważań innych autorów na tematnatury myślenia matematycznego. W konkluzji zwrócono uwagę na różnice wrozumieniu przez poszczególnych uczniów, czym jest uzasadnienie stwierdzeniamatematycznego, a także na pewne podobieństwo między uczniem a osobą wykształconąmatematycznie w posługiwaniu się wnioskowaniem empirycznym.
Źródło:
Didactica Mathematicae; 2017, 39
2353-0960
Pojawia się w:
Didactica Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Strukturalność a dedukcyjność matematyki: współczesny strukturalizm w filozofii matematyki
Structurality and Deductivity of Mathematics: Contemporary Structuralism in the Philosophy of Mathematics
Autorzy:
Czakon, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/1791181.pdf
Data publikacji:
2021-06-28
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
filozofia matematyki
strukturalizm matematyczny
struktura
dedukcja
strukturalność matematyki
dedukcyjność matematyki
strukturalizm sui generis
teoria mnogości
metodologia matematyki
philosophy of mathematics
mathematical structuralism
structure
deduction
structurality of mathematics
deductivity of mathematics
structuralism sui generis
set theory
methodology of mathematics
Opis:
Wspólne dla różnego typu strukturalizmów matematycznych jest stwierdzenie, że dla matematyki jako nauki prawdziwa jest koniunkcja: a) matematyka jest nauką o strukturach oraz b) matematyka jest nauką dedukcyjną. Przedstawiane są odmienne argumenty na rzecz tych dwóch własności matematyki i różnie rozumiane są pojęcia strukturalności i dedukcyjności, co skutkuje powstawaniem różnego rodzaju strukturalizmów. Twierdzimy, że przy pewnym ustalonym sposobie rozumienia tych pojęć możliwa jest ich równoważność. Argumentujemy na rzecz takiego rozumienia strukturalizmu, które streszcza się w stwierdzeniu: a) matematyka jest nauką o strukturach wtedy i tylko wtedy, gdy b) matematyka jest nauką dedukcyjną.
It is common for different types of mathematical structuralism that the conjunction of two statements ( a) mathematics is science about structures and b) mathematics is deductive science) is true, Distinct arguments for this two features of mathematics are exanimated therefore the main concepts (structurality and deductivity) are understood differently, the results are various types of structuralism. We claim that it is possible to establish the way of understood of this two concepts in witeh they are equivalent. We argue that can interpret mathematical structuralism as equivalence: a) mathematics is science about structures if and only, if b) mathematics is deductive science
Źródło:
Roczniki Filozoficzne; 2021, 69, 2; 241-268
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the Philosophical-Logical Views of Ludwik Borkowski
O poglądach filozoficzno-logicznych Ludwika Borkowskiego
Autorzy:
CZERNECKA-REJ, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/488523.pdf
Data publikacji:
2018-06
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Ludwik Borkowski
systemy założeniowe
zasada dwuwartościowości
modalności
definicja prawdy
natural deduction
principle of bivalence
modalities
definition of truth
Opis:
Dzięki zdobytej wiedzy filozoficznej Ludwik Borkowski widział problemy formalne w szerszym kontekście. Był w uprawianiu logiki kontynuatorem tradycji szkoły lwowsko-warszawskiej. Podejmował problemy podstawowe dla szeroko pojętej logiki oraz mające doniosłe konsekwencje filozoficzne, np. logiki nieklasyczne, teoria prawdy, metoda założeniowa, teoria konsekwencji, teoria definicji. Dbał o intuicyjną interpretację swych wyników logicznych, a samą logikę traktował jako naukę autonomiczną, która ma pełnić funkcję służebną wobec innych nauk. Choć nie pisał typowych dzieł filozoficzno-logicznych, dociekanie filozoficznych źródeł, inspiracji i konsekwencji wyników logiki towarzyszyło mu przez cały czas twórczej aktywności.
Ludwik Borkowski’s vast knowledge of philosophy allowed him to put his logical studies in a philosophical context. As a logician, he continued the tradition of the Lvov-Warsaw school. He dealt with the basic issues of the widely understood logic as well as with those having strong philosophical implications (e.g. non-classical logics, the theory of truth, natural deduction, the theory of consequence). He also worked on the theory of definition and the intuitive interpretation of logical results. For Borkowski, logic was an autonomous science whose function is supposed to be ancillary towards the other sciences. Although he did not write any typical philosophical-logical works, investigating philosophical sources, inspirations and the implications of logical results was something he did throughout the whole period of his creative activity.
Źródło:
Roczniki Filozoficzne; 2018, 66, 2; 149-171
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prawo do odliczenia VAT naliczonego oraz ograniczenie tego prawa – podsumowanie doświadczeń krajowych i międzynarodowych
The right to deduct input VAT and the limitation of this right – a summary of domestic and international experience
Autorzy:
Dmowski, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/28762905.pdf
Data publikacji:
2023-07-20
Wydawca:
Instytut Studiów Podatkowych Modzelewski i wspólnicy
Tematy:
VAT
podatek od wartości dodanej
podatek od towarów i usług
neutralność w VAT
VAT naliczony
odliczenie VAT naliczonego
ograniczenia w prawie do odliczenia VAT
brak prawa do odliczenia VAT
wyjątki w neutralności VAT
wyłączenie prawa do odliczenia VAT
prawo do odliczenia VAT naliczonego
value added tax
goods and services tax
neutrality in VAT
input VAT
deduction of input VAT
restrictions on the right to deduct VAT
no right to deduct VAT
exceptions to VAT neutrality
exclusion of the right to deduct VAT
the right to deduct input VAT
Opis:
Podatek od wartości dodanej (VAT1), w Polsce podatek od towarów i usług, w założeniu charakteryzuje się neutralnością dla podatników VAT czynnych i nie wpływa, a raczej nie powinien wpływać, na cenę dobra (towaru lub usługi) dla tych podatników. Podmiotem ponoszącym ekonomiczny ciężar tego podatku jest konsument ostateczny. Zasada neutralności podatku wynika zatem przede wszystkim z istniejącego prawa do odliczenia podatku naliczonego przy nabywaniu towarów i usług, a nie ze zwolnień podatkowych. Istnienie tej zasady wymusza jednak również określenie pewnych warunków, które muszą zostać spełnione, aby zachować prawo do odliczenia podatku. Pierwszym i podstawowym wymogiem w tym zakresie jest działanie w charakterze podatnika. Jest to podkreślane na szczeblu zarówno unijnym, jak i krajowym. Jednocześnie, z uwagi na konstrukcję VAT, podatnikowi nie przysługuje prawo do odliczenia VAT w zakresie transakcji nieopodatkowanych lub transakcji zwolnionych z tego podatku. Ograniczenie prawa do odliczenia VAT naliczonego powinno stanowić wyjątek oraz być interpretowane zawężająco. Podatnik jest pozbawiony prawa do odliczenia VAT w przypadku zakupu towaru lub usługi niezwiązanych z prowadzoną przez niego działalnością opodatkowaną, zakupu od podmiotu niemającego statusu podatnika VAT czynnego lub też szczególnego rodzaju transakcji, takich jak zakup i użytkowanie samochodów osobowych, zakup usług gastronomicznych i noclegowych. Trybunał Sprawiedliwości Unii Europejskiej (TSUE) interpretował w swoim orzecznictwie postanowienia dyrektywy Rady 2006/112/WE z dnia 28 listopada 2006 r. w sprawie wspólnego systemu podatku od wartości dodanej2 i jednoznacznie potwierdził, że prawo do odliczenia VAT naliczonego nie przysługuje podatnikowi w przypadku tzw. transakcji pozornej (pustej faktury), gdy dostawca towaru lub usługi jest podatnikiem tzw. nieistniejącym, lub w przypadku czynności pozornej. Jednakże działania organów skarbowych mogą mieć znamiona nadużycia (bezpodstawnego odebrania podatnikom prawa do odliczenia VAT naliczonego), które z reguły sprowadza się do przerzucenia ciężaru weryfikacji wszystkich kontrahentów w łańcuchu dostaw na każdego uczestnika w tym łańcuchu. Przykładem takich działań jest sytuacja, gdy w łańcuchu dostaw wystąpi podmiot niemający statusu podatnika VAT czynnego lub gdy któryś podmiot nie odprowadził VAT należnego (zostało popełnione przestępstwo skarbowe polegające na nieodprowadzeniu VAT), a organy podatkowe stoją na stanowisku, że w związku z tym wszystkie podmioty w łańcuchu dostaw nie mają prawa do odliczenia VAT naliczonego. Słuszne działania organów administracji skarbowej w sferze przeciwdziałania nadużyciom w rozliczaniu VAT nie powinny się sprowadzać do przerzucania ciężaru weryfikacji statusu danych podmiotów i zakresu ich działalności na wszystkich innych uczestników obrotu. Jest to niezgodne zarówno z dyrektywą 2006/112/WE, jak i utrwaloną linią orzeczniczą TSUE. Takie działania stanowią naruszenie fundamentu zasady neutralności VAT dla podatników.
Value added tax (VAT), in Poland a tax on goods and services, in its assumption is characterized by the neutrality of this tax for active VAT taxpayers and does not affect, or rather should not affect, the price of a good (good or service) for these taxpayers. The entity bearing the economic burden of this tax is the final consumer. Therefore, the principle of tax neutrality results primarily from the existing right to deduct input tax on the purchase of goods and services, and not from tax exemptions. However, the existence of this principle also forces the definition of certain conditions that must be met in order to retain the right to deduct tax. The first and basic condition in this regard is to act as a taxpayer. This is emphasized both at EU and national level. On the other hand, due to the structure of VAT, the taxpayer is not entitled to deduct VAT in respect of non-taxable transactions or transactions exempt from VAT. Restrictions on the right to deduct input VAT should constitute an exception and should be interpreted narrowly. Deprivation of the taxpayer’s right to deduct VAT occurs in the case of purchase of goods or services not related to the taxpayer’s taxable activity, purchase from an entity that does not have the status of an active VAT payer, or special types of transactions such as the purchase and use of passenger cars, catering and accommodation services. The jurisprudence of the CJEU, interpreting the provisions of the VAT Directive, clearly confirmed that the right to deduct input VAT is not available to the taxpayer in the case of the so-called a sham transaction (empty invoice), when the supplier of goods or services is a taxpayer of the so-called non-existent, or in the case of an apparent act. However, the actions of tax authorities may have signs of abuse (unjustified deprivation of taxpayers’ right to deduct input VAT), which usually boils down to shifting the burden of verification of all contractors in the supply chain to each participant in this chain. An example of such actions is a situation when an entity without the status of an active VAT payer appears in the supply chain or when this entity has failed to pay the VAT due (a tax offense has been committed in the field of non-payment of VAT), the tax authorities are of the opinion that all entities in the supply chain supplies are not entitled to deduct input VAT. Proper actions of tax administration authorities in the field of counteracting fraud in the field of VAT settlements should not transfer the burden of verifying the status of given entities and their scope of activity to all other participants of the turnover. This is inconsistent with both the VAT Directive and the established case law of the CJEU. Such actions constitute a violation of the foundation of the principle of VAT neutrality for taxpayers.
Źródło:
Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych; 2023, 7(323); 6-17
1427-2008
2449-7584
Pojawia się w:
Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Induction and Deduction in Theorizing of International Relations
Indukcja i dedukcja w teoretyzowaniu stosunków międzynarodowych
Autorzy:
Gałganek, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/616538.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
induction
deduction
theory
International Relations
indukcja
dedukcja
teoria
nauka o stosunkach międzynarodowych
Opis:
W artykule ukazano obecne w nauce o stosunkach międzynarodowych sposoby rozumienia miejsca indukcyjnego i dedukcyjnego wnioskowania w procesie budowania teorii i wiedzy o stosunkach międzynarodowych oraz wynikające z nich spory. Autor argumentuje, że w badaniu stosunków międzynarodowych, podobnie jak w naukach przyrodniczych, niezbędne jest łączenie empirycznej obserwacji z kreatywnym budowaniem teorii. Autor dokonuje krytycznej analizy stanowisk wybranych teoretyków stosunków międzynarodowych w kwestiach związanych z problemami indukcji i dedukcji oraz teoretyzowania stosunków międzynarodowych.
The article presents the ways of understanding the place of induction and deductive reasoning in the process of building the theory and knowledge of international relations and the resulting disputes present in the International Relations. The author argues that in the study of international relations, as in the natural sciences, it is necessary to combine empirical observation with creative building of theory. The author performs a critical analysis of the positions of selected theoreticians of international relations on issues related to the problems of induction and deduction and theorizing of international relations.
Źródło:
Przegląd Politologiczny; 2019, 4; 39-54
1426-8876
Pojawia się w:
Przegląd Politologiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
„Automatyzm” działania organów podatkowych przy wydawaniu decyzji zabezpieczających w związku z zakwestionowaniem prawa do odliczenia podatku naliczonego na podstawie tzw. pustych faktur
Issuance of a decision to establish security in relation with a denial of the right to deduct input tax on the basis of fictious invoices
Autorzy:
Gibasiewicz, Dariusz
Powiązania:
https://bibliotekanauki.pl/articles/24987659.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
decyzja zabezpieczająca
uzasadniona obawa niewykonania zobowiązania podatkowego
odliczenie podatku naliczonego
puste faktury
zasada zaufania do organów podatkowych
decision to establish security
reasonable expectation that a tax liability will not be performed
input tax deduction
fictious invoices
principle of trust in tax authorities
Opis:
Artykuł dotyczy wydawania przez organy podatkowe decyzji zabezpieczających wykonanie zobowiązania podatkowego na majątku podatnika przed wydaniem decyzji określającej wysokość zobowiązania w podatku od towarów i usług w związku z postępowaniem podatkowym lub kontrolą podatkową, lub celno-skarbową, które są prowadzone w związku z zakwestionowaniem odliczenia przez podatnika podatku naliczonego na podstawie tzw. pustych faktur. Przedstawiono w nim sposób interpretacji i stosowania tych przepisów przez organy podatkowe i sądy administracyjne w konkretnych sprawach. Dokonano także analizy błędów popełnianych w tego typu postępowaniach oraz naruszeń praw podatnika. Jednocześnie opisano prawidłowy model orzekania w tego typu sprawach – z poszanowaniem praw podatników.
The article deals with the issuance by tax authorities of decisions securing the execution of a tax liability on the taxpayer’s property prior to the issuance of a decision determining the amount of liability in value added tax in connection with tax proceedings, tax inspection, or customs and tax inspection, which are carried out in relation to questioning by the tax authorities the deduction of input tax on the basis of fictious invoices. It presents how these regulations are interpreted and applied by tax authorities and administrative courts in specific cases. It also analyzes the mistakes made in such proceedings and violations of the taxpayer’s rights. At the same time, the correct model of handling and adjudication in this type of cases with respect for the rights of taxpayers is presented.
Źródło:
Kwartalnik Prawa Podatkowego; 2023, 3; 9-36
1509-877X
Pojawia się w:
Kwartalnik Prawa Podatkowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Proof Compression and NP Versus PSPACE II
Autorzy:
Gordeev, Lew
Haeusler, Edward Hermann
Powiązania:
https://bibliotekanauki.pl/articles/1023196.pdf
Data publikacji:
2020-11-04
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
natural deduction
sequent calculus
minimal logic
computational complexity
Opis:
We upgrade [3] to a complete proof of the conjecture NP = PSPACE that is known as one of the fundamental open problems in the mathematical theory of computational complexity; this proof is based on [2]. Since minimal propositional logic is known to be PSPACE complete, while PSPACE to include NP, it suffices to show that every valid purely implicational formula ρ has a proof whose weight (= total number of symbols) and time complexity of the provability involved are both polynomial in the weight of ρ. As is [3], we use proof theoretic approach. Recall that in [3] we considered any valid ρ in question that had (by the definition of validity) a “short” tree-like proof π in the Hudelmaier-style cutfree sequent calculus for minimal logic. The “shortness” means that the height of π and the total weight of different formulas occurring in it are both polynomial in the weight of ρ. However, the size (= total number of nodes), and hence also the weight, of π could be exponential in that of ρ. To overcome this trouble we embedded π into Prawitz’s proof system of natural deductions containing single formulas, instead of sequents. As in π, the height and the total weight of different formulas of the resulting tree-like natural deduction ∂1 were polynomial, although the size of ∂1 still could be exponential, in the weight of ρ. In our next, crucial move, ∂1 was deterministically compressed into a “small”, although multipremise, dag-like deduction ∂ whose horizontal levels contained only mutually different formulas, which made the whole weight polynomial in that of ρ. However, ∂ required a more complicated verification of the underlying provability of ρ. In this paper we present a nondeterministic compression of ∂ into a desired standard dag-like deduction ∂0 that deterministically proves ρ in time and space polynomial in the weight of ρ.2 Together with [3] this completes the proof of NP = PSPACE.Natural deductions are essential for our proof. Tree-to-dag horizontal compression of π merging equal sequents, instead of formulas, is (possible but) not sufficient, since the total number of different sequents in π might be exponential in the weight of ρ – even assuming that all formulas occurring in sequents are subformulas of ρ. On the other hand, we need Hudelmaier’s cutfree sequent calculus in order to control both the height and total weight of different formulas of the initial tree-like proof π, since standard Prawitz’s normalization although providing natural deductions with the subformula property does not preserve polynomial heights. It is not clear yet if we can omit references to π even in the proof of the weaker result NP = coNP.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 3; 213-230
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Proof Compression and NP Versus PSPACE II: Addendum
Autorzy:
Gordeev, Lew
Haeusler, Edward Hermann
Powiązania:
https://bibliotekanauki.pl/articles/2142754.pdf
Data publikacji:
2022-01-07
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
graph theory
natural deduction
computational complexity
Opis:
In our previous work we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier’s cut-free sequent calculus for minimal logic (HSC) with the horizontal compressing in the corresponding minimal Prawitz-style natural deduction (ND). In this Addendum we show how to prove a weaker result NP = coNP without referring to HSC. The underlying idea (due to the second author) is to omit full minimal logic and compress only “naive” normal tree-like ND refutations of the existence of Hamiltonian cycles in given non-Hamiltonian graphs, since the Hamiltonian graph problem in NPcomplete. Thus, loosely speaking, the proof of NP = coNP can be obtained by HSC-elimination from our proof of NP = PSPACE.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 2; 197-205
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 61

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies